--- a/Admin/components/main Wed Apr 24 20:41:35 2024 +0200
+++ b/Admin/components/main Fri Apr 26 19:15:37 2024 +0200
@@ -14,7 +14,7 @@
isabelle_setup-20240327
javamail-20240109
jdk-21.0.3
-jedit-20231120
+jedit-20240425
jfreechart-1.5.3
jortho-1.0-2
jsoup-1.17.2