[isabelle-dev] NEWS: Update to OpenJDK 21

Makarius makarius at sketis.net
Mon Nov 20 22:23:43 CET 2023

*** System ***

* Update to OpenJDK 21: the current long-term support version of Java.

This refers to Isabelle/4fb5e6499da9.

Official release-notes: 

A quick test looks good so far.

Moreover, it might be time to change a few fundamental Java runtime defaults, 
e.g. ZGC https://openjdk.org/jeps/439


More information about the isabelle-dev mailing list