RFR: JDK-8286101: Support formatting in @value tag [v3]

[Jonathan Gibbons]

> This PR is for an update to the doc comment `{@value}` tag to permit an optional [format string](https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/util/Formatter.html#syntax) after the name of the tag.
> 
>     {@value optional-format-string optional-reference}
> 
> If given, the format string should either begin with `%` or the string should be quoted with `"`. For example, `%4x` or `"0x%4x"`.  The format string must contain exactly one `%` character.

Jonathan Gibbons has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains six additional commits since the last revision:

 - fix typo
 - Merge remote-tracking branch 'upstream/master' into 8286101.format-at-value
 - address review feedback
 - address review feedback
 - Merge remote-tracking branch 'upstream/master' into 8286101.format-at-value
 - JDK-8286101: Support formatting in @value tag

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/8565/files
  - new: https://git.openjdk.java.net/jdk/pull/8565/files/1b5f7d5f..30755d75

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=8565&range=02
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=8565&range=01-02

  Stats: 1147 lines in 12 files changed: 494 ins; 422 del; 231 mod
  Patch: https://git.openjdk.java.net/jdk/pull/8565.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/8565/head:pull/8565

PR: https://git.openjdk.java.net/jdk/pull/8565