[isabelle-dev] Update to OpenJDK 17.0.6

Makarius makarius at sketis.net
Mon Jan 23 23:16:51 CET 2023

With Isabelle/39f8051f71d4 we are on OpenJDK 17.0.6, see also 

There are a lot of small changes: the second half of January is the usual 
season for that.

So far it looks good, and I do not expect any problems. OpenJDK LTS versions 
appear to be rock-solid and the release cycle very robust. (In contrast to Scala.)


More information about the isabelle-dev mailing list