# HG changeset patch
# User wenzelm
# Date 1642783147 -3600
# Node ID 79635df97a90edffb3a8a9526c300d60736ec323
# Parent  d699eb2d26ad4151345d98ca3843192b11833803
updated to jdk-17.0.2+8;

diff -r d699eb2d26ad -r 79635df97a90 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jan 21 12:09:55 2022 +0100
+++ b/Admin/components/components.sha1	Fri Jan 21 17:39:07 2022 +0100
@@ -161,6 +161,7 @@
 e8ae300e61b0b121018456d50010b555bc96ce10  jdk-15.0.2+7.tar.gz
 a426a32ad34014953c0f7d4cc6f44199572e1c38  jdk-17+35.tar.gz
 85707cfe369d0d32accbe3d96a0730c87e8639b5  jdk-17.0.1+12.tar.gz
+699ab2d723b2f1df151a7dbcbdf33ddad36c7978  jdk-17.0.2+8.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
diff -r d699eb2d26ad -r 79635df97a90 Admin/components/main
--- a/Admin/components/main	Fri Jan 21 12:09:55 2022 +0100
+++ b/Admin/components/main	Fri Jan 21 17:39:07 2022 +0100
@@ -10,7 +10,7 @@
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20211109
-jdk-17.0.1+12
+jdk-17.0.2+8
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2