Searched refs:HEADER_HTML (Results 1 – 1 of 1) sorted by relevance
27 … private static final Matcher HEADER_HTML = PatternCache.get("<h[0-9]>(.*)</h[0-9]>").matcher(""); field in HelpMessages153 HEADER_HTML.reset(value); in find()156 while (HEADER_HTML.find()) { in find()157 String contents = HEADER_HTML.group(1); in find()167 newValue.append(value.substring(lastEnd, HEADER_HTML.start(1))); in find()169 lastEnd = HEADER_HTML.end(1); in find()