--- a/Admin/components/main Mon Jan 08 23:44:02 2024 +0100
+++ b/Admin/components/main Tue Jan 09 17:35:56 2024 +0100
@@ -12,7 +12,7 @@
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20230922
-javamail-1.4.7
+javamail-20240109
jdk-21.0.1
jedit-20231120
jfreechart-1.5.3