--- a/Admin/components/main Mon Aug 08 14:34:09 2022 +0200
+++ b/Admin/components/main Mon Aug 08 20:01:18 2022 +0200
@@ -9,7 +9,7 @@
flatlaf-2.4
idea-icons-20210508
isabelle_fonts-20211004
-isabelle_setup-20220701
+isabelle_setup-20220808
jdk-17.0.2+8
jedit-20211103
jfreechart-1.5.3