# HG changeset patch
# User wenzelm
# Date 1737720389 -3600
# Node ID 15d045d0d09322242148caca2bbd215906fc02d1
# Parent  ab6ff69fc1a65fd5024596265a0b21340263a71d
update to jdk-21.0.6;
enforce rebuild of Isabelle/ML and Isabelle/Scala;

diff -r ab6ff69fc1a6 -r 15d045d0d093 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jan 24 11:17:32 2025 +0100
+++ b/Admin/components/components.sha1	Fri Jan 24 13:06:29 2025 +0100
@@ -210,6 +210,7 @@
 94f27b086cf6a2fb305cc961fe2932d8ea3634af jdk-21.0.2.tar.gz
 c4e05634d371a305c982b6ce5478df42fd1ad9c5 jdk-21.0.3.tar.gz
 8414b3c9f4fe1f9f5a1590f3abd33f0a017e35b9 jdk-21.0.5.tar.gz
+1c137d69666b88d7650de7560b97deada743be84 jdk-21.0.6.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
diff -r ab6ff69fc1a6 -r 15d045d0d093 Admin/components/main
--- a/Admin/components/main	Fri Jan 24 11:17:32 2025 +0100
+++ b/Admin/components/main	Fri Jan 24 13:06:29 2025 +0100
@@ -14,7 +14,7 @@
 isabelle_fonts-20241227
 isabelle_setup-20240327
 javamail-20250122
-jdk-21.0.5
+jdk-21.0.6
 jedit-20241115
 jfreechart-1.5.3
 jortho-1.0-2
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,
diff -r ab6ff69fc1a6 -r 15d045d0d093 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri Jan 24 11:17:32 2025 +0100
+++ b/src/Pure/ROOT.ML	Fri Jan 24 13:06:29 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       e075658d-0c3c-4076-892c-37ce2c40df8e
+    UUID:       b179c273-64ed-4480-82ff-2a8ad1b2eef3
 
 Main entry point for the Isabelle/Pure bootstrap process.
 
diff -r ab6ff69fc1a6 -r 15d045d0d093 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Fri Jan 24 11:17:32 2025 +0100
+++ b/src/Pure/ROOT.scala	Fri Jan 24 13:06:29 2025 +0100
@@ -1,6 +1,6 @@
 /*  Title:      Pure/ROOT.scala
     Author:     Makarius
-    UUID:       b5c84e7e-c43b-4cf5-9644-a1f387b61ab4
+    UUID:       b179c273-64ed-4480-82ff-2a8ad1b2eef3
 
 Root of isabelle package.
 */