diff -r 902960859c66 -r e9bb73d7b6cf Admin/components/main
--- a/Admin/components/main	Fri Apr 11 19:07:56 2014 +0200
+++ b/Admin/components/main	Fri Apr 11 23:26:31 2014 +0200
@@ -6,6 +6,7 @@
 jdk-7u40
 jedit_build-20140405
 jfreechart-1.0.14-1
+jortho-1.0
 kodkodi-1.5.2
 polyml-5.5.1-1
 scala-2.10.4