--- a/Admin/components/main Wed Jun 01 19:54:31 2016 +0200
+++ b/Admin/components/main Wed Jun 01 20:59:16 2016 +0200
@@ -5,7 +5,7 @@
e-1.8
Haskabelle-2015
isabelle_fonts-20160227
-jdk-8u72
+jdk-8u92
jedit_build-20160330
jfreechart-1.0.14-1
jortho-1.0-2