--- a/Admin/components/main Mon Oct 26 11:28:43 2020 +0000
+++ b/Admin/components/main Mon Oct 26 21:02:51 2020 +0100
@@ -5,7 +5,7 @@
cvc4-1.5-5
e-2.5-1
isabelle_fonts-20190717
-jdk-11.0.5+10
+jdk-11.0.9+11
jedit_build-20200908
jfreechart-1.5.0
jortho-1.0-2