--- a/Admin/components/main Sun Mar 22 15:10:38 2020 +0100
+++ b/Admin/components/main Sun Mar 22 22:03:48 2020 +0100
@@ -5,7 +5,7 @@
cvc4-1.5-5
e-2.0-3
isabelle_fonts-20190717
-jdk-11.0.6+10
+jdk-11.0.5+10
jedit_build-20190717
jfreechart-1.5.0
jortho-1.0-2