--- a/Admin/components/main Wed Nov 03 00:11:12 2021 +0100
+++ b/Admin/components/main Wed Nov 03 00:38:13 2021 +0100
@@ -10,7 +10,7 @@
isabelle_fonts-20211004
isabelle_setup-20210922
jdk-17.0.1+12
-jedit-20211019
+jedit-20211103
jfreechart-1.5.3
jortho-1.0-2
kodkodi-1.5.7