--- a/Admin/components/main Sat Mar 09 13:24:59 2019 +0100
+++ b/Admin/components/main Sat Mar 09 13:35:49 2019 +0100
@@ -4,7 +4,7 @@
csdp-6.x
cvc4-1.5-4
e-2.0-2
-isabelle_fonts-20190210
+isabelle_fonts-20190309
jdk-11.0.2+9
jedit_build-20190224
jfreechart-1.5.0