git: openjdk/jdk: 8236142: DocTrees should provide getCharacters(EntityTree)

[Jonathan Gibbons]

Changeset: 7f27d0b0
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2020-09-11 14:47:15 +0000
URL:       https://git.openjdk.java.net/jdk/commit/7f27d0b0

8236142: DocTrees should provide getCharacters(EntityTree)

Reviewed-by: prappo

! src/jdk.compiler/share/classes/com/sun/source/util/DocTrees.java
! src/jdk.compiler/share/classes/com/sun/tools/doclint/Checker.java
- src/jdk.compiler/share/classes/com/sun/tools/doclint/Entity.java
+ src/jdk.compiler/share/classes/com/sun/tools/javac/api/Entity.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/api/JavacTrees.java
! src/jdk.compiler/share/classes/jdk/internal/shellsupport/doc/JavadocFormatter.java
! test/langtools/tools/doclint/CoverageExtras.java