--- a/Admin/components/main Mon Oct 23 14:12:09 2017 +0200
+++ b/Admin/components/main Mon Oct 23 19:30:39 2017 +0200
@@ -4,7 +4,7 @@
cvc4-1.5-3
e-2.0-1
isabelle_fonts-20160830
-jdk-8u144
+jdk-8u152
jedit_build-20170319
jfreechart-1.0.14-1
jortho-1.0-2