# HG changeset patch
# User wenzelm
# Date 1663335940 -7200
# Node ID c8ab2316e3cbc127e1deb4b15a831c9f54c36f53
# Parent  5298a498738c6c24f905037c060ca24f40e7b259
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);

diff -r 5298a498738c -r c8ab2316e3cb Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Sep 16 15:07:33 2022 +0200
+++ b/Admin/components/components.sha1	Fri Sep 16 15:45:40 2022 +0200
@@ -171,6 +171,7 @@
 a426a32ad34014953c0f7d4cc6f44199572e1c38 jdk-17+35.tar.gz
 85707cfe369d0d32accbe3d96a0730c87e8639b5 jdk-17.0.1+12.tar.gz
 699ab2d723b2f1df151a7dbcbdf33ddad36c7978 jdk-17.0.2+8.tar.gz
+260f5e03e8fc7185f7987a6d2961a23abdce6a0b jdk-17.0.4.1+1.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
diff -r 5298a498738c -r c8ab2316e3cb Admin/components/main
--- a/Admin/components/main	Fri Sep 16 15:07:33 2022 +0200
+++ b/Admin/components/main	Fri Sep 16 15:45:40 2022 +0200
@@ -10,7 +10,7 @@
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20220817
-jdk-17.0.2+8
+jdk-17.0.4.1+1
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2