With Isabelle/b2b88d5b01b6 we are on current jdk-21.0.8, see also the full release notes https://docs.azul.com/core/pdfs/july-2025/azul-zulu-ca-release-notes-july-2025-rev1.1.pdf These are many details, but usually not practically relevant for us: OpenJDK progresses monotonically, becoming better and better. Makarius