Arrays.sort(nextS);
docBuilder.append("<br><h1>Followed by:</h1>");
docBuilder.append("<code>").append(StringUtil.escapeXml(StringUtil.join(nextS, " | "))).append("</code>");
BnfFile file = (BnfFile)rule.getContainingFile();
String recover = file.findAttributeValue(rule, KnownAttribute.RECOVER_WHILE, null);
if (BnfConstants.RECOVER_AUTO.equals(recover)) {
docBuilder.append("<br><h1>#auto recovery predicate:</h1>");
docBuilder.append("<code>");
docBuilder.append("private ").append(rule.getName()).append("_recover ::= !(");
boolean f = true;