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

[Jonathan Gibbons]

On Thu, 2 Feb 2023 20:11:03 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> `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 clear the flag?

Aha, sorry, I misunderstood your comment.

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

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