--- a/Admin/components/main Wed Apr 17 21:20:31 2024 +0200
+++ b/Admin/components/main Wed Apr 17 23:12:21 2024 +0200
@@ -13,7 +13,7 @@
isabelle_fonts-20211004
isabelle_setup-20240327
javamail-20240109
-jdk-21.0.2
+jdk-21.0.3
jedit-20231120
jfreechart-1.5.3
jortho-1.0-2