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

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

  address review feedback

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

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

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

  Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 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