--- a/Admin/components/main Mon Nov 20 15:55:10 2023 +0100
+++ b/Admin/components/main Mon Nov 20 19:52:46 2023 +0100
@@ -13,7 +13,7 @@
isabelle_fonts-20211004
isabelle_setup-20230922
javamail-1.4.7
-jdk-17.0.7
+jdk-21.0.1
jedit-20231120
jfreechart-1.5.3
jortho-1.0-2