--- a/Admin/components/components.sha1 Thu Aug 07 21:40:03 2025 +0200
+++ b/Admin/components/components.sha1 Thu Aug 07 22:42:21 2025 +0200
@@ -223,6 +223,7 @@
c4e05634d371a305c982b6ce5478df42fd1ad9c5 jdk-21.0.3.tar.gz
8414b3c9f4fe1f9f5a1590f3abd33f0a017e35b9 jdk-21.0.5.tar.gz
1c137d69666b88d7650de7560b97deada743be84 jdk-21.0.6.tar.gz
+1f65ae5a0250ae361b52513e4ac5e5d864a72257 jdk-21.0.8.tar.gz
8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
--- a/Admin/components/main Thu Aug 07 21:40:03 2025 +0200
+++ b/Admin/components/main Thu Aug 07 22:42:21 2025 +0200
@@ -14,7 +14,7 @@
isabelle_fonts-20241227
isabelle_setup-20250613
javamail-20250122
-jdk-21.0.6
+jdk-21.0.8
jedit-20250521
jfreechart-1.5.3
jortho-1.0-2
--- a/src/Pure/Admin/component_jdk.scala Thu Aug 07 21:40:03 2025 +0200
+++ b/src/Pure/Admin/component_jdk.scala Thu Aug 07 22:42:21 2025 +0200
@@ -33,8 +33,8 @@
/* build jdk */
val default_base_url = "https://cdn.azul.com/zulu/bin"
- val default_jdk_version = "21.0.6"
- val default_zulu_version = "21.40.17-ca"
+ val default_jdk_version = "21.0.8"
+ val default_zulu_version = "21.44.17-ca"
def build_jdk(
target_dir: Path = Path.current,
--- a/src/Pure/ROOT.ML Thu Aug 07 21:40:03 2025 +0200
+++ b/src/Pure/ROOT.ML Thu Aug 07 22:42:21 2025 +0200
@@ -1,6 +1,6 @@
(* Title: Pure/ROOT.ML
Author: Makarius
- UUID: 42ae3ec9-f60f-42f1-8127-8d951cdb7073
+ UUID: 662938be-f6dc-4b35-a648-908750fa5b7c
Main entry point for the Isabelle/Pure bootstrap process.
--- a/src/Pure/ROOT.scala Thu Aug 07 21:40:03 2025 +0200
+++ b/src/Pure/ROOT.scala Thu Aug 07 22:42:21 2025 +0200
@@ -1,6 +1,6 @@
/* Title: Pure/ROOT.scala
Author: Makarius
- UUID: 42ae3ec9-f60f-42f1-8127-8d951cdb7073
+ UUID: 662938be-f6dc-4b35-a648-908750fa5b7c
Root of isabelle package.
*/