--- a/Admin/components/main Mon May 10 20:09:47 2021 +0200
+++ b/Admin/components/main Mon May 10 22:18:12 2021 +0200
@@ -9,7 +9,7 @@
idea-icons-20210508
isabelle_fonts-20210322
jdk-15.0.2+7
-jedit_build-20210510
+jedit_build-20210510-1
jfreechart-1.5.1
jortho-1.0-2
kodkodi-1.5.6-1