--- 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