# HG changeset patch
# User wenzelm
# Date 1761163010 -7200
# Node ID ee3a0945866568bbb10090c4ddab80e7f6782e7e
# Parent  d106285f2d7ba12ed86c20703c980e2eae353219
updated to jdk-21.0.9;
enforce rebuild of Isabelle/Scala and Isabelle/ML;

diff -r d106285f2d7b -r ee3a09458665 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 22 21:39:41 2025 +0200
+++ b/Admin/components/components.sha1	Wed Oct 22 21:56:50 2025 +0200
@@ -230,6 +230,7 @@
 8414b3c9f4fe1f9f5a1590f3abd33f0a017e35b9 jdk-21.0.5.tar.gz
 1c137d69666b88d7650de7560b97deada743be84 jdk-21.0.6.tar.gz
 1f65ae5a0250ae361b52513e4ac5e5d864a72257 jdk-21.0.8.tar.gz
+4a9a77371a679f75205feba75a93bfb4588520fd jdk-21.0.9.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
diff -r d106285f2d7b -r ee3a09458665 Admin/components/main
--- a/Admin/components/main	Wed Oct 22 21:39:41 2025 +0200
+++ b/Admin/components/main	Wed Oct 22 21:56:50 2025 +0200
@@ -14,7 +14,7 @@
 isabelle_fonts-20241227
 isabelle_setup-20250613
 javamail-20251022
-jdk-21.0.8
+jdk-21.0.9
 jedit-20250825
 jfreechart-1.5.3
 jortho-1.0-2
diff -r d106285f2d7b -r ee3a09458665 src/Pure/Admin/component_jdk.scala
--- 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,
diff -r d106285f2d7b -r ee3a09458665 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed Oct 22 21:39:41 2025 +0200
+++ b/src/Pure/ROOT.ML	Wed Oct 22 21:56:50 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       1613ca57-4e91-4ae9-a70b-142587a8c87a
+    UUID:       0e3ceb40-61a8-4f78-a6c7-ae4892dd80b3
 
 Main entry point for the Isabelle/Pure bootstrap process.
 
diff -r d106285f2d7b -r ee3a09458665 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Wed Oct 22 21:39:41 2025 +0200
+++ b/src/Pure/ROOT.scala	Wed Oct 22 21:56:50 2025 +0200
@@ -1,6 +1,6 @@
 /*  Title:      Pure/ROOT.scala
     Author:     Makarius
-    UUID:       0b801365-9dc6-460b-b12b-fd4c28e63cf1
+    UUID:       0e3ceb40-61a8-4f78-a6c7-ae4892dd80b3
 
 Root of isabelle package.
 */