--- a/Admin/components/main Mon Sep 03 15:50:41 2012 +0200 +++ b/Admin/components/main Mon Sep 03 20:57:51 2012 +0200 @@ -2,7 +2,7 @@ cvc3-2.4.1 e-1.5 jdk-7u6 -jedit_build-20120813 +jedit_build-20120903 kodkodi-1.2.16 polyml-5.4.1 scala-2.9.2