--- a/Admin/components/main Tue Nov 05 22:05:50 2024 +0100
+++ b/Admin/components/main Tue Nov 05 23:01:09 2024 +0100
@@ -13,7 +13,7 @@
isabelle_fonts-20211004
isabelle_setup-20240327
javamail-20240109
-jdk-21.0.3
+jdk-21.0.5
jedit-20241101
jfreechart-1.5.3
jortho-1.0-2