void (String text, int startOffset, int endOffset, StringBuilder out) { if (out.length() == "{@code".length() && endOffset - startOffset > 0 && !Character.isWhitespace(text.charAt(startOffset))) { out.append(' '); } final String s = text.substring(startOffset, endOffset); out.append(StringUtil.unescapeXmlEntities(s)); } }