(cherry picked from commit 5eed3ff)

In JUnit Jupiter 5.12, I added support for arbitrary Java versions with
JRE conditions; however, I accidentally introduced a regression
regarding support for JRE.OTHER. Specifically, prior to this commit,
JRE.OTHER no longer worked reliably when used with @⁠EnabledOnJre or
@⁠DisabledOnJre.

To address that, this commit revises the logic in
JRE.isCurrentVersion(int) to account for situations where the supplied
version value is Integer.MAX_VALUE (representing @⁠EnabledOnJre(OTHER)
or @⁠DisabledOnJre(OTHER)), and the current version of the JVM is
greater than the version of the last JRE.JAVA_* enum constant — for
example, when running on Java 27 and the last JRE enum constant is
JAVA_26.

See #3930
See #5341
Closes #5366

See #5366