src/Pure/Admin/component_jdk.scala
changeset 83343 ee3a09458665
parent 82968 b2b88d5b01b6
--- a/src/Pure/Admin/component_jdk.scala	Wed Oct 22 21:39:41 2025 +0200
+++ b/src/Pure/Admin/component_jdk.scala	Wed Oct 22 21:56:50 2025 +0200
@@ -33,8 +33,8 @@
   /* build jdk */
 
   val default_base_url = "https://cdn.azul.com/zulu/bin"
-  val default_jdk_version = "21.0.8"
-  val default_zulu_version = "21.44.17-ca"
+  val default_jdk_version = "21.0.9"
+  val default_zulu_version = "21.46.19-ca"
 
   def build_jdk(
     target_dir: Path = Path.current,