updated to jedit_build-20121201 (based on jedit-5.0.0);

--- a/Admin/component_repository/components.sha1	Sat Dec 01 22:42:54 2012 +0100
+++ b/Admin/component_repository/components.sha1	Sat Dec 01 22:47:03 2012 +0100
@@ -17,6 +17,7 @@
 6425f622625024c1de27f3730d6811f6370a19cd  jedit_build-20120414.tar.gz
 7b012f725ec1cc102dc259df178d511cc7890bba  jedit_build-20120813.tar.gz
 8e1d36f5071e3def2cb281f7fefe9f52352cb88f  jedit_build-20120903.tar.gz
+8fa0c67f59beba369ab836562eed4e56382f672a  jedit_build-20121201.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
 5f95c96bb99927f3a026050f85bd056f37a9189e  kodkodi-1.5.2.tar.gz
 1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb  polyml-5.4.1.tar.gz

--- a/Admin/components/main	Sat Dec 01 22:42:54 2012 +0100
+++ b/Admin/components/main	Sat Dec 01 22:47:03 2012 +0100
@@ -3,7 +3,7 @@
 e-1.6
 exec_process-1.0.3
 jdk-7u9
-jedit_build-20120903
+jedit_build-20121201
 kodkodi-1.5.2
 polyml-5.5.0
 scala-2.9.2