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.

src/java.compiler/share/classes/javax/lang/model/util/Elements.java line 300:

> 298:      * if the lines start with <em>zero</em> or more white space characters followed by
> 299:      * <em>one</em> or more "{@code *}" characters,
> 300:      * those leading white space characters are discarded as are any

FWIW, I checked `javac` and it allows form-feed in the leading whitespace characters

As an adjective "white space" is normally a single word, at least in JDK.

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

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