diff -r ab6ff69fc1a6 -r 15d045d0d093 src/Pure/Admin/component_jdk.scala --- a/src/Pure/Admin/component_jdk.scala Fri Jan 24 11:17:32 2025 +0100 +++ b/src/Pure/Admin/component_jdk.scala Fri Jan 24 13:06:29 2025 +0100 @@ -33,8 +33,8 @@ /* build jdk */ val default_base_url = "https://cdn.azul.com/zulu/bin" - val default_jdk_version = "21.0.5" - val default_zulu_version = "21.38.21-ca" + val default_jdk_version = "21.0.6" + val default_zulu_version = "21.40.17-ca" def build_jdk( target_dir: Path = Path.current,