Searched refs:DEFAULT_HEADER_PATTERN (Results 1 – 1 of 1) sorted by relevance
24 private static final MessageFormat DEFAULT_HEADER_PATTERN = new MessageFormat("<p>{0}</p>" field in HelpMessages128 return find(key, DEFAULT_HEADER_PATTERN); in find()