--- a/Admin/components/main Tue Jan 29 21:56:40 2019 +0100
+++ b/Admin/components/main Tue Jan 29 22:47:45 2019 +0100
@@ -5,7 +5,7 @@
cvc4-1.5-4
e-2.0-2
isabelle_fonts-20181129
-jdk-11+28
+jdk-11.0.2+9
jedit_build-20190120
jfreechart-1.5.0
jortho-1.0-2