[isabelle-dev] Java 17 LTS

Makarius makarius at sketis.net
Thu Sep 23 11:58:25 CEST 2021

On 22/09/2021 23:05, Makarius wrote:
> Official Java 17 LTS has been released on 15-Sep-2021, see also
> https://docs.azul.com/core/zulu-openjdk/release-notes/17-ga
> Isabelle/2a3fe3489bae uses the corresponding jdk-17+35 component. So far it
> looks good (for Linux, Windows, macOS), but there might be some fine points
> still to be addressed.

Another problem is the JVM monitor: it accesses private Sun modules that are
no longer accessible in Java 17.

I need to study the situation to figure out workarounds or alternatives (e.g.
a different monitor tool).


More information about the isabelle-dev mailing list