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

[Jonathan Gibbons]

On Sun, 6 Aug 2023 20:48:51 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:
> 
>   Add test case for newlines.

Marked as reviewed by jjg (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/15062#pullrequestreview-1570072779