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

Fri Nov 17 17:17:29 UTC 2023

On Fri, 17 Nov 2023 13:10:06 GMT, Pavel Rappo <prappo 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).

Yes, that's a separate question, which does not affect the overall issue that was uncovered as a result, and addressed here.

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

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