--- a/Admin/components/main Sun Apr 13 15:32:03 2014 +0200
+++ b/Admin/components/main Sun Apr 13 15:34:54 2014 +0200
@@ -6,7 +6,7 @@
jdk-7u40
jedit_build-20140405
jfreechart-1.0.14-1
-jortho-1.0
+jortho-1.0-1
kodkodi-1.5.2
polyml-5.5.1-1
scala-2.10.4