--- a/Admin/components/main Mon Aug 02 13:50:45 2021 +0200
+++ b/Admin/components/main Mon Aug 02 14:08:42 2021 +0200
@@ -10,7 +10,7 @@
isabelle_fonts-20210322
isabelle_setup-20210726
jdk-15.0.2+7
-jedit-20210724
+jedit-20210802
jfreechart-1.5.1
jortho-1.0-2
kodkodi-1.5.6-1