--- a/Admin/components/main Fri Oct 23 18:39:14 2015 +0200
+++ b/Admin/components/main Fri Oct 23 21:03:16 2015 +0200
@@ -6,7 +6,7 @@
Haskabelle-2015
isabelle_fonts-20151021
jdk-8u66
-jedit_build-20150228
+jedit_build-20151023
jfreechart-1.0.14-1
jortho-1.0-2
kodkodi-1.5.2