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