--- a/Admin/components/components.sha1 Sat Jul 17 12:59:47 2021 +0200
+++ b/Admin/components/components.sha1 Sat Jul 17 13:42:21 2021 +0200
@@ -128,6 +128,7 @@
d2c9fd7b73457a460111edd6eb93a133272935fb isabelle_setup-20210715.tar.gz
a5f478ba1088f67c2c86dc2fa7764b6d884e5ae5 isabelle_setup-20210716-1.tar.gz
79fad009cb22aa5e7cb4aed3c810ad5f61790293 isabelle_setup-20210716.tar.gz
+14f8508bcae9140815bb23e430e26d2cbc504b81 isabelle_setup-20210717.tar.gz
0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz