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

[Jonathan Gibbons]

On Wed, 8 Feb 2023 10:56:56 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> Jonathan Gibbons has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Address review feedback
>
> test/langtools/tools/doclint/HtmlTagsTest.out line 51:
> 
>> 49: HtmlTagsTest.java:75: error: text not allowed in <ul> element
>> 50:      * <ul> *@/ <li> ... </li> </ul>
>> 51:            ^
> 
> That's weird caret positioning.

It's pointing to the beginning of the text node. I guess it should point to the the first non-white character in that text node. Let's handle that separately.

See [JDK-8302104](https://bugs.openjdk.org/browse/JDK-8302104)

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

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