--- a/Admin/components/main Wed Jul 17 21:32:03 2019 +0200
+++ b/Admin/components/main Wed Jul 17 21:56:32 2019 +0200
@@ -6,7 +6,7 @@
e-2.0-2
isabelle_fonts-20190717
jdk-11.0.3+7
-jedit_build-20190508
+jedit_build-20190717
jfreechart-1.5.0
jortho-1.0-2
kodkodi-1.5.2-1