diff -r 110a027a5473 -r 262dc3bafd15 Admin/components/main
--- a/Admin/components/main	Fri Jul 09 21:05:58 2021 +0200
+++ b/Admin/components/main	Fri Jul 09 21:07:35 2021 +0200
@@ -8,7 +8,7 @@
 flatlaf-1.2
 idea-icons-20210508
 isabelle_fonts-20210322
-isabelle_setup-20210701
+isabelle_setup-20210709
 jdk-15.0.2+7
 jedit_build-20210708
 jfreechart-1.5.1