--- a/Admin/components/main Wed Sep 22 21:20:36 2021 +0200
+++ b/Admin/components/main Wed Sep 22 21:27:44 2021 +0200
@@ -9,7 +9,7 @@
idea-icons-20210508
isabelle_fonts-20210322
isabelle_setup-20210922
-jdk-15.0.2+7
+jdk-17+35
jedit-20210802
jfreechart-1.5.1
jortho-1.0-2