On Thu, 16 Nov 2023 22:09:34 GMT, Jonathan Gibbons <j...@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
