--- a/Admin/components/main Sat Dec 30 20:04:05 2017 +0100
+++ b/Admin/components/main Sat Dec 30 21:46:19 2017 +0100
@@ -4,7 +4,7 @@
csdp-6.x
cvc4-1.5-3
e-2.0-1
-isabelle_fonts-20171222
+isabelle_fonts-20171230
jdk-8u152
jedit_build-20170319
jfreechart-1.0.14-1