--- a/Admin/components/main Sat May 08 13:06:30 2021 +0200
+++ b/Admin/components/main Mon May 10 12:23:30 2021 +0200
@@ -9,7 +9,7 @@
idea-icons-20210508
isabelle_fonts-20210322
jdk-15.0.2+7
-jedit_build-20210201
+jedit_build-20210510
jfreechart-1.5.1
jortho-1.0-2
kodkodi-1.5.6-1