--- a/Admin/components/main Wed Oct 22 10:20:57 2025 +0200
+++ b/Admin/components/main Wed Oct 22 10:31:50 2025 +0200
@@ -13,7 +13,7 @@
foiltex-2.1.4b
isabelle_fonts-20241227
isabelle_setup-20250613
-javamail-20250122
+javamail-20251022
jdk-21.0.8
jedit-20250825
jfreechart-1.5.3