--- a/Admin/components/main Mon Nov 20 14:23:11 2023 +0100
+++ b/Admin/components/main Mon Nov 20 15:55:10 2023 +0100
@@ -14,7 +14,7 @@
isabelle_setup-20230922
javamail-1.4.7
jdk-17.0.7
-jedit-20211103
+jedit-20231120
jfreechart-1.5.3
jortho-1.0-2
jsoup-1.15.4