src/Pure/Admin/component_jdk.scala
changeset 80131 68fc6839679e
parent 79556 0631dfc0db07
--- a/src/Pure/Admin/component_jdk.scala	Wed Apr 17 21:20:31 2024 +0200
+++ b/src/Pure/Admin/component_jdk.scala	Wed Apr 17 23:12:21 2024 +0200
@@ -33,8 +33,8 @@
   /* build jdk */
 
   val default_base_url = "https://cdn.azul.com/zulu/bin"
-  val default_jdk_version = "21.0.2"
-  val default_zulu_version = "21.32.17-ca"
+  val default_jdk_version = "21.0.3"
+  val default_zulu_version = "21.34.19-ca"
 
   def build_jdk(
     target_dir: Path = Path.current,