[isabelle-dev] Update to jdk-17.0.7

Makarius makarius at sketis.net
Tue May 9 23:50:42 CEST 2023

With Isabelle/896e255d4fc4 we are on jdk-17.0.7. This is a routine update from 
the OpenJDK project with a lot of minor changes, see also 

Usually such OpenJDK updates are rock-solid and no problems to be expected.


More information about the isabelle-dev mailing list