--- a/Admin/components/main Sun May 17 23:09:03 2015 +0200
+++ b/Admin/components/main Mon May 18 16:59:09 2015 +0200
@@ -3,7 +3,7 @@
cvc4-1.5pre-2
e-1.8
exec_process-1.0.3
-Haskabelle-2014
+Haskabelle-2015
jdk-7u80
jedit_build-20150228
jfreechart-1.0.14-1