diff -r 4f5e67b247e1 -r f77474665b2f Admin/components/main
--- a/Admin/components/main	Wed Sep 22 20:18:28 2021 +0200
+++ b/Admin/components/main	Wed Sep 22 21:20:36 2021 +0200
@@ -8,7 +8,7 @@
 flatlaf-1.2
 idea-icons-20210508
 isabelle_fonts-20210322
-isabelle_setup-20210726
+isabelle_setup-20210922
 jdk-15.0.2+7
 jedit-20210802
 jfreechart-1.5.1