--- a/Admin/components/main Tue Dec 22 23:59:45 2020 +0100
+++ b/Admin/components/main Wed Dec 23 15:01:50 2020 +0100
@@ -6,7 +6,7 @@
e-2.5-1
isabelle_fonts-20190717
jdk-11.0.9+11
-jedit_build-20200908
+jedit_build-20201223
jfreechart-1.5.1
jortho-1.0-2
kodkodi-1.5.6