--- a/Admin/components/main Wed Jan 06 15:14:48 2021 +0100
+++ b/Admin/components/main Wed Jan 06 16:12:35 2021 +0100
@@ -5,7 +5,7 @@
cvc4-1.8
e-2.5-1
isabelle_fonts-20190717
-jdk-11.0.9+11
+jdk-15.0.1+9
jedit_build-20201223
jfreechart-1.5.1
jortho-1.0-2