With Isabelle/f3ebb16b5785 we are on jdk-17.0.5: a routine update with many small changes. See also https://docs.azul.com/core/zulu-openjdk/release-notes/october-2022 Makarius