--- a/Admin/components/main Sun Feb 10 18:12:24 2019 +0100
+++ b/Admin/components/main Sun Feb 10 18:16:11 2019 +0100
@@ -4,7 +4,7 @@
csdp-6.x
cvc4-1.5-4
e-2.0-2
-isabelle_fonts-20181129
+isabelle_fonts-20190210
jdk-11.0.2+9
jedit_build-20190130
jfreechart-1.5.0