--- a/Admin/components/main Wed Apr 15 19:08:37 2015 +0200 +++ b/Admin/components/main Wed Apr 15 20:00:18 2015 +0200 @@ -4,7 +4,7 @@ e-1.8 exec_process-1.0.3 Haskabelle-2014 -jdk-7u76 +jdk-7u80 jedit_build-20150228 jfreechart-1.0.14-1 jortho-1.0-2