src/Pure/Admin/component_jdk.scala
changeset 79528 667cb8b79909
parent 79013 4fb5e6499da9
child 79556 0631dfc0db07
--- a/src/Pure/Admin/component_jdk.scala	Wed Jan 24 18:41:21 2024 +0100
+++ b/src/Pure/Admin/component_jdk.scala	Wed Jan 24 22:43:41 2024 +0100
@@ -33,8 +33,8 @@
   /* build jdk */
 
   val default_base_url = "https://cdn.azul.com/zulu/bin"
-  val default_jdk_version = "21.0.1"
-  val default_zulu_version = "21.30.15-ca"
+  val default_jdk_version = "21.0.2"
+  val default_zulu_version = "21.32.17-ca"
 
   def build_jdk(
     target_dir: Path = Path.current,