# HG changeset patch
# User wenzelm
# Date 1683665889 -7200
# Node ID 896e255d4fc4566cca1f6d85c3ee859bbee0fb9b
# Parent  6c2494750a4e01a04b385900575f502b8d6af28d
updated to jdk-17.0.7;

diff -r 6c2494750a4e -r 896e255d4fc4 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue May 09 21:50:04 2023 +0200
+++ b/Admin/components/components.sha1	Tue May 09 22:58:09 2023 +0200
@@ -182,6 +182,7 @@
 260f5e03e8fc7185f7987a6d2961a23abdce6a0b jdk-17.0.4.1+1.tar.gz
 8f417fcbe5d0fef3a958aeb9740499230aa00046 jdk-17.0.5.tar.gz
 e904e85d0b5f6552344aa385c90f3ca528dc3514 jdk-17.0.6.tar.gz
+ee31c8ac65d5828d8c426fa3eedeb467cfa497ab jdk-17.0.7.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
diff -r 6c2494750a4e -r 896e255d4fc4 Admin/components/main
--- a/Admin/components/main	Tue May 09 21:50:04 2023 +0200
+++ b/Admin/components/main	Tue May 09 22:58:09 2023 +0200
@@ -12,7 +12,7 @@
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20230206
-jdk-17.0.6
+jdk-17.0.7
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2
diff -r 6c2494750a4e -r 896e255d4fc4 src/Pure/Admin/component_jdk.scala
--- a/src/Pure/Admin/component_jdk.scala	Tue May 09 21:50:04 2023 +0200
+++ b/src/Pure/Admin/component_jdk.scala	Tue May 09 22:58:09 2023 +0200
@@ -33,8 +33,8 @@
   /* build jdk */
 
   val default_base_url = "https://cdn.azul.com/zulu/bin"
-  val default_jdk_version = "17.0.6"
-  val default_zulu_version = "17.40.19-ca"
+  val default_jdk_version = "17.0.7"
+  val default_zulu_version = "17.42.19-ca"
 
   def build_jdk(
     target_dir: Path = Path.current,