# HG changeset patch
# User wenzelm
# Date 1730844069 -3600
# Node ID 95cb584cb77714fd7a8d259e8af96248873e5ee2
# Parent  1818358373e2b0fe0a0d5c8e64e75648e43f66f8
update to jdk-21.0.5;
enforce rebuild of Isabelle/ML and Isabelle/Scala;

diff -r 1818358373e2 -r 95cb584cb777 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Nov 05 22:05:50 2024 +0100
+++ b/Admin/components/components.sha1	Tue Nov 05 23:01:09 2024 +0100
@@ -202,6 +202,7 @@
 d4b43d1be10c9cffb406faeb36e9d46027834980 jdk-21.0.1.tar.gz
 94f27b086cf6a2fb305cc961fe2932d8ea3634af jdk-21.0.2.tar.gz
 c4e05634d371a305c982b6ce5478df42fd1ad9c5 jdk-21.0.3.tar.gz
+8414b3c9f4fe1f9f5a1590f3abd33f0a017e35b9 jdk-21.0.5.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
diff -r 1818358373e2 -r 95cb584cb777 Admin/components/main
--- a/Admin/components/main	Tue Nov 05 22:05:50 2024 +0100
+++ b/Admin/components/main	Tue Nov 05 23:01:09 2024 +0100
@@ -13,7 +13,7 @@
 isabelle_fonts-20211004
 isabelle_setup-20240327
 javamail-20240109
-jdk-21.0.3
+jdk-21.0.5
 jedit-20241101
 jfreechart-1.5.3
 jortho-1.0-2
diff -r 1818358373e2 -r 95cb584cb777 src/Pure/Admin/component_jdk.scala
--- a/src/Pure/Admin/component_jdk.scala	Tue Nov 05 22:05:50 2024 +0100
+++ b/src/Pure/Admin/component_jdk.scala	Tue Nov 05 23:01:09 2024 +0100
@@ -33,8 +33,8 @@
   /* build jdk */
 
   val default_base_url = "https://cdn.azul.com/zulu/bin"
-  val default_jdk_version = "21.0.3"
-  val default_zulu_version = "21.34.19-ca"
+  val default_jdk_version = "21.0.5"
+  val default_zulu_version = "21.38.21-ca"
 
   def build_jdk(
     target_dir: Path = Path.current,
diff -r 1818358373e2 -r 95cb584cb777 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Nov 05 22:05:50 2024 +0100
+++ b/src/Pure/ROOT.ML	Tue Nov 05 23:01:09 2024 +0100
@@ -373,4 +373,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
-
diff -r 1818358373e2 -r 95cb584cb777 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Tue Nov 05 22:05:50 2024 +0100
+++ b/src/Pure/ROOT.scala	Tue Nov 05 23:01:09 2024 +0100
@@ -29,3 +29,4 @@
   def if_proper[A](x: Iterable[A], body: => String): String = Library.if_proper(x, body)
   def if_proper(b: Boolean, body: => String): String = Library.if_proper(b, body)
 }
+