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

Mon Feb 6 19:11:30 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 four commits:

 - Merge with upstream/master
 - Address review feedback
 - 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=03
  Stats: 456 lines in 16 files changed: 436 ins; 0 del; 20 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