The following comment was incorrectly edited. There should be a * at the beginning of the line

 *
 @spec javadoc/doc-comment-spec.html Documentation Comment Specification for the Standard Doclet
 @spec https://www.w3.org/TR/html52 HTML Standard
 */