--- a/Admin/components/main Thu Apr 25 11:59:21 2013 +0200 +++ b/Admin/components/main Thu Apr 25 13:22:45 2013 +0200 @@ -3,7 +3,7 @@ e-1.6-2 exec_process-1.0.3 Haskabelle-2013 -jdk-7u13 +jdk-7u21 jedit_build-20130104 jfreechart-1.0.14 kodkodi-1.5.2