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