RFR: JDK-8300914: Allow `@` as an escape in documentation comments [v2]

[Pavel Rappo]

On Thu, 2 Feb 2023 19:51:04 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Oops, wrong "Here" line. Should be 238; so the two lines are 238 and 250.
>
> `newline` is a flag with a name that is less than ideal. It indicates whether we are at the beginning of a line, part from whitespace.  It is used to determine whether an `@` character should be treated as introducing a block tag.  As soon as a non-white character is encountered, it is unconditionally set to `false`, and remains that way until the next newline is encountered.

What I mean is this: why would anyone read a character using `nextChar()`, which sets the flag if encounters a newline, and then immediately clears the flag?

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

PR: https://git.openjdk.org/jdk/pull/12372