--- a/Admin/components/main Wed Jan 24 18:41:21 2024 +0100
+++ b/Admin/components/main Wed Jan 24 22:43:41 2024 +0100
@@ -13,7 +13,7 @@
isabelle_fonts-20211004
isabelle_setup-20230922
javamail-20240109
-jdk-21.0.1
+jdk-21.0.2
jedit-20231120
jfreechart-1.5.3
jortho-1.0-2