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

[Jonathan Gibbons]

> 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 incrementally with one additional commit since the last revision:

  Address review feedback

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/12372/files
  - new: https://git.openjdk.org/jdk/pull/12372/files/9de8f669..74eb771b

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=12372&range=06
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=12372&range=05-06

  Stats: 89 lines in 8 files changed: 83 ins; 1 del; 5 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