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).
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
