--- a/Admin/components/main Fri Aug 21 15:02:42 2015 +0200 +++ b/Admin/components/main Fri Aug 21 16:47:57 2015 +0200 @@ -4,7 +4,7 @@ e-1.8 exec_process-1.0.3 Haskabelle-2015 -jdk-8u51 +jdk-8u60 jedit_build-20150228 jfreechart-1.0.14-1 jortho-1.0-2