--- a/Admin/components/main Tue Aug 30 09:04:40 2016 +0200
+++ b/Admin/components/main Tue Aug 30 14:47:23 2016 +0200
@@ -4,7 +4,7 @@
cvc4-1.5pre-3
e-1.8
Haskabelle-2015
-isabelle_fonts-20160812-1
+isabelle_fonts-20160830
jdk-8u102
jedit_build-20160330
jfreechart-1.0.14-1