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

Wed Feb 1 19:43:00 UTC 2023

> Please review a moderately simple update to permit the use of `@` as the escape character in a limited set of escape sequences.

Jonathan Gibbons has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains two commits:

 - Merge with upstream/master
 - JDK-8301294: Allow `@` as an escape in documentation comments

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

Changes: https://git.openjdk.org/jdk/pull/12372/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=12372&range=01
  Stats: 385 lines in 18 files changed: 356 ins; 6 del; 23 mod
  Patch: https://git.openjdk.org/jdk/pull/12372.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/12372/head:pull/12372

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