--- a/Admin/components/main Wed Jul 17 17:12:57 2019 +0200
+++ b/Admin/components/main Wed Jul 17 21:32:03 2019 +0200
@@ -4,7 +4,7 @@
csdp-6.x
cvc4-1.5-5
e-2.0-2
-isabelle_fonts-20190409
+isabelle_fonts-20190717
jdk-11.0.3+7
jedit_build-20190508
jfreechart-1.5.0