--- a/Admin/components/main Sat Jan 19 20:40:17 2019 +0000
+++ b/Admin/components/main Sun Jan 20 21:26:15 2019 +0100
@@ -6,7 +6,7 @@
e-2.0-2
isabelle_fonts-20181129
jdk-11+28
-jedit_build-20181203
+jedit_build-20190120
jfreechart-1.5.0
jortho-1.0-2
kodkodi-1.5.2-1