[isabelle-dev] Java 17 LTS
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
> 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