--- a/Admin/components/components.sha1 Fri Jul 09 21:05:58 2021 +0200
+++ b/Admin/components/components.sha1 Fri Jul 09 21:07:35 2021 +0200
@@ -123,6 +123,7 @@
1f7a0b9829ecac6552b21e995ad0f0ac168634f3 isabelle_fonts-20210322.tar.gz
916adccd2f40c55116b68b92ce1eccb24d4dd9a2 isabelle_setup-20210630.tar.gz
c611e363287fcc9bdd93c33bef85fa4e66cd3f37 isabelle_setup-20210701.tar.gz
+a0e7527448ef0f7ce164a38a50dc26e98de3cad6 isabelle_setup-20210709.tar.gz
0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz
--- 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