RFR: JDK-8320207: doclet incorrectly chooses code font for a See Also link

[Pavel Rappo]

On Thu, 16 Nov 2023 22:09:34 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> The underlying trigger for this is in `ClassFileFormatVersion.java` which contains `@see System#getProperties System property {@code java.class.version}`
> 

Separately and just to double-check: is it supposed to be like that or should that site use `{@systemProperty}` instead? Perhaps this question should be equally addressed to @jddarcy, the author of the respective [change](https://github.com/openjdk/jdk/pull/9299).

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

PR Comment: https://git.openjdk.org/jdk/pull/16699#issuecomment-1816396374