Admin/components/main
changeset 77047 39f8051f71d4
parent 76545 cee207c2ddec
child 77108 4f68b165d69e
--- a/Admin/components/main	Sun Jan 22 22:48:51 2023 +0100
+++ b/Admin/components/main	Sun Jan 22 23:29:34 2023 +0100
@@ -13,7 +13,7 @@
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20221028
-jdk-17.0.5
+jdk-17.0.6
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2