--- a/Admin/components/main Wed Oct 19 17:39:04 2016 +0200
+++ b/Admin/components/main Wed Oct 19 18:14:42 2016 +0200
@@ -5,7 +5,7 @@
e-1.8
Haskabelle-2015
isabelle_fonts-20160830
-jdk-8u102
+jdk-8u112
jedit_build-20160330
jfreechart-1.0.14-1
jortho-1.0-2