--- a/Admin/components/components.sha1 Sun Oct 23 16:44:17 2016 +0200
+++ b/Admin/components/components.sha1 Mon Oct 24 11:10:17 2016 +0200
@@ -102,6 +102,7 @@
b5f7115384c167559211768eb5fe98138864473b jedit_build-20151023.tar.gz
8ba7b6791be788f316427cdcd805daeaa6935190 jedit_build-20151124.tar.gz
c70c5a6c565d435a09a8639f8afd3de360708e1c jedit_build-20160330.tar.gz
+d4e1496c257659cf15458d718f4663cdd95a404e jedit_build-20161024.tar.gz
0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa jfreechart-1.0.14-1.tar.gz
8122526f1fc362ddae1a328bdbc2152853186fee jfreechart-1.0.14.tar.gz
c8a19a36adf6cefa779d85f22ded2f4654e68ea5 jortho-1.0-1.tar.gz
--- 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