--- a/Admin/components/main Wed May 08 16:54:50 2019 +0200
+++ b/Admin/components/main Wed May 08 18:53:27 2019 +0200
@@ -6,7 +6,7 @@
e-2.0-2
isabelle_fonts-20190409
jdk-11.0.3+7
-jedit_build-20190224
+jedit_build-20190508
jfreechart-1.5.0
jortho-1.0-2
kodkodi-1.5.2-1