--- a/Admin/components/main Wed Mar 23 11:40:34 2022 +0100
+++ b/Admin/components/main Wed Mar 23 12:02:56 2022 +0100
@@ -9,7 +9,7 @@
flatlaf-1.6.4
idea-icons-20210508
isabelle_fonts-20211004
-isabelle_setup-20211109
+isabelle_setup-20220323
jdk-17.0.2+8
jedit-20211103
jfreechart-1.5.3