--- a/Admin/components/main Fri Oct 28 13:15:11 2022 +0200
+++ b/Admin/components/main Fri Oct 28 13:18:27 2022 +0200
@@ -9,7 +9,7 @@
flatlaf-2.4
idea-icons-20210508
isabelle_fonts-20211004
-isabelle_setup-20221020
+isabelle_setup-20221028
jdk-17.0.4.1+1
jedit-20211103
jfreechart-1.5.3