--- a/Admin/components/main Mon Nov 01 11:52:24 2021 +0100
+++ b/Admin/components/main Mon Nov 01 14:58:04 2021 +0100
@@ -9,7 +9,7 @@
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20210922
-jdk-17+35
+jdk-17.0.1+12
jedit-20211019
jfreechart-1.5.3
jortho-1.0-2