--- a/Admin/components/main Fri Nov 25 20:18:10 2022 +0100
+++ b/Admin/components/main Fri Nov 25 20:39:25 2022 +0100
@@ -13,7 +13,7 @@
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20221028
-jdk-17.0.4.1+1
+jdk-17.0.5
jedit-20211103
jfreechart-1.5.3
jortho-1.0-2