RFR: JDK-8307184: Incorrect/inconsistent specification and implementation for Elements.getDocComment [v5]

[Jonathan Gibbons]

On Fri, 28 Jul 2023 05:51:58 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> Start by just reformatting the existing specs to highlight subsequent spec changes.
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Appease jcheck.

test/langtools/tools/javac/processing/model/util/elements/TestGetDocComments.java line 80:

> 78:             System.out.println("Strings have different lengths");
> 79:         }
> 80:     }

Not critical, but for bonus points, you could identify the first line that is different.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/15062#discussion_r1282441764