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

[Jonathan Gibbons]

On Thu, 2 Feb 2023 00:39:02 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> src/jdk.compiler/share/classes/com/sun/source/doctree/DocTree.java line 110:
>> 
>>> 108:          * representing some escaped documentation text.
>>> 109:          */
>>> 110:         ESCAPE,
>> 
>> We seem to add `@since` to newer kinds of tags.
>
> Yes, ooops, I missed that one

fixed

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

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