--- a/Admin/components/main Wed Jun 30 16:53:33 2021 +0200
+++ b/Admin/components/main Wed Jun 30 20:57:38 2021 +0200
@@ -8,6 +8,7 @@
flatlaf-1.2
idea-icons-20210508
isabelle_fonts-20210322
+isabelle_setup-20210630
jdk-15.0.2+7
jedit_build-20210510-1
jfreechart-1.5.1