--- a/Admin/components/main Wed May 14 11:31:23 2025 +0200
+++ b/Admin/components/main Thu May 15 22:55:29 2025 +0200
@@ -15,7 +15,7 @@
isabelle_setup-20240327
javamail-20250122
jdk-21.0.6
-jedit-20250424
+jedit-20250515
jfreechart-1.5.3
jortho-1.0-2
jsoup-1.18.3