--- a/Admin/components/main Tue May 20 19:59:28 2025 +0200
+++ b/Admin/components/main Tue May 20 20:05:50 2025 +0200
@@ -15,7 +15,7 @@
isabelle_setup-20240327
javamail-20250122
jdk-21.0.6
-jedit-20250516
+jedit-20250520
jfreechart-1.5.3
jortho-1.0-2
jsoup-1.18.3