hg: jdk/submit: 8225671: Support HTML 5 character references in javadoc

[hannes.wallnoefer at oracle.com]

Changeset: 1357c4996b2e
Author:    hannesw
Date:      2019-06-12 23:21 +0200
URL:       http://hg.openjdk.java.net/jdk/submit/rev/1357c4996b2e

8225671: Support HTML 5 character references in javadoc
Reviewed-by: jjg

! src/jdk.compiler/share/classes/com/sun/tools/doclint/Entity.java
! src/jdk.compiler/share/classes/jdk/internal/shellsupport/doc/JavadocFormatter.java
! test/langtools/tools/doclint/CoverageExtras.java
! test/langtools/tools/doclint/html/EntitiesTest.java
! test/langtools/tools/doclint/html/EntitiesTest.out