--- a/Admin/components/main Fri Aug 01 13:59:34 2014 +0200
+++ b/Admin/components/main Mon Aug 04 07:31:27 2014 +0200
@@ -2,7 +2,7 @@
cvc3-2.4.1
e-1.8
exec_process-1.0.3
-Haskabelle-2013
+Haskabelle-2014
jdk-7u65
jedit_build-20140722
jfreechart-1.0.14-1