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 https://docs.azul.com/core/zulu-openjdk/release-notes/april-2023 Usually such OpenJDK updates are rock-solid and no problems to be expected. Makarius