--- a/Admin/components/main Tue Apr 15 21:13:20 2014 +0200
+++ b/Admin/components/main Tue Apr 15 22:18:21 2014 +0200
@@ -6,7 +6,7 @@
jdk-7u40
jedit_build-20140405
jfreechart-1.0.14-1
-jortho-1.0-1
+jortho-1.0-2
kodkodi-1.5.2
polyml-5.5.1-1
scala-2.10.4