--- a/Admin/components/components.sha1 Wed Nov 06 20:58:11 2013 +0100
+++ b/Admin/components/components.sha1 Wed Nov 06 21:20:20 2013 +0100
@@ -38,6 +38,7 @@
87136818fd5528d97288f5b06bd30c787229eb0d jedit_build-20130910.tar.gz
c63189cbe39eb8104235a0928f579d9523de78a9 jedit_build-20130925.tar.gz
65cc13054be20d3a60474d406797c32a976d7db7 jedit_build-20130926.tar.gz
+30ca171f745adf12b65c798c660ac77f9c0f9b4b jedit_build-20131106.tar.gz
0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa jfreechart-1.0.14-1.tar.gz
8122526f1fc362ddae1a328bdbc2152853186fee jfreechart-1.0.14.tar.gz
6c737137cc597fc920943783382e928ea79e3feb kodkodi-1.2.16.tar.gz
--- a/Admin/components/main Wed Nov 06 20:58:11 2013 +0100
+++ b/Admin/components/main Wed Nov 06 21:20:20 2013 +0100
@@ -4,7 +4,7 @@
exec_process-1.0.3
Haskabelle-2013
jdk-7u40
-jedit_build-20130926
+jedit_build-20131106
jfreechart-1.0.14-1
kodkodi-1.5.2
polyml-5.5.1