--- a/Admin/components/main Sun Feb 24 12:53:23 2019 +0100
+++ b/Admin/components/main Sun Feb 24 13:00:43 2019 +0100
@@ -6,7 +6,7 @@
e-2.0-2
isabelle_fonts-20190210
jdk-11.0.2+9
-jedit_build-20190130
+jedit_build-20190224
jfreechart-1.5.0
jortho-1.0-2
kodkodi-1.5.2-1