The @jls tag is missing ';' in the replacement string for the entity for '>'

            private String escape(String s) {
                return s.replace("&", "&amp;").replace("<", "&lt;").replace(">", "&gt");
            }

This shows up in doccheck/tidy reports.