hg: jdk/sandbox: 8246712: doclint incorrectly reports some HTML elements as empty

[chris.hegarty at oracle.com]

Changeset: 3bbe266345ea
Author:    jjg
Date:      2020-06-09 19:34 -0700
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/3bbe266345ea

8246712: doclint incorrectly reports some HTML elements as empty
Reviewed-by: prappo

! src/jdk.compiler/share/classes/com/sun/tools/doclint/Checker.java
+ test/langtools/tools/doclint/EmptyHtmlTest.java