--- a/Admin/components/main Wed Jan 29 21:25:44 2025 +0100
+++ b/Admin/components/main Thu Jan 30 11:53:26 2025 +0100
@@ -15,7 +15,7 @@
isabelle_setup-20240327
javamail-20250122
jdk-21.0.6
-jedit-20250129
+jedit-20250130
jfreechart-1.5.3
jortho-1.0-2
jsoup-1.18.3