--- a/Admin/components/main Thu Oct 20 17:05:06 2022 +0200
+++ b/Admin/components/main Thu Oct 20 20:14:35 2022 +0200
@@ -9,7 +9,7 @@
flatlaf-2.4
idea-icons-20210508
isabelle_fonts-20211004
-isabelle_setup-20220817
+isabelle_setup-20221020
jdk-17.0.4.1+1
jedit-20211103
jfreechart-1.5.3