--- a/Admin/components/main Wed Jun 10 15:55:41 2020 +0200
+++ b/Admin/components/main Wed Jun 10 19:59:12 2020 +0200
@@ -6,7 +6,7 @@
e-2.0-3
isabelle_fonts-20190717
jdk-11.0.5+10
-jedit_build-20190717
+jedit_build-20200610
jfreechart-1.5.0
jortho-1.0-2
kodkodi-1.5.2-1