--- a/Admin/components/main Sat Jul 17 12:59:47 2021 +0200
+++ b/Admin/components/main Sat Jul 17 13:42:21 2021 +0200
@@ -8,7 +8,7 @@
flatlaf-1.2
idea-icons-20210508
isabelle_fonts-20210322
-isabelle_setup-20210716-1
+isabelle_setup-20210717
jdk-15.0.2+7
jedit-20210715
jfreechart-1.5.1