git: openjdk/jdk: 8258957: DocLint: check for HTML start element at end of body

[Jonathan Gibbons]

Changeset: 0ff81682
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2021-03-24 23:58:16 +0000
URL:       https://git.openjdk.java.net/jdk/commit/0ff81682

8258957: DocLint: check for HTML start element at end of body

Reviewed-by: vromero

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Checker.java
+ test/langtools/tools/doclint/EmptyTagsTest.java
+ test/langtools/tools/doclint/EmptyTagsTest.out
! test/langtools/tools/doclint/EndTagsTest.out
! test/langtools/tools/doclint/HtmlTagsTest.out