--- a/Admin/components/main Sun Oct 23 16:44:17 2016 +0200
+++ b/Admin/components/main Mon Oct 24 11:10:17 2016 +0200
@@ -6,7 +6,7 @@
Haskabelle-2015
isabelle_fonts-20160830
jdk-8u112
-jedit_build-20160330
+jedit_build-20161024
jfreechart-1.0.14-1
jortho-1.0-2
kodkodi-1.5.2