--- a/Admin/components/main Wed Oct 16 12:23:09 2019 +0200
+++ b/Admin/components/main Wed Oct 16 12:42:09 2019 +0200
@@ -5,7 +5,7 @@
cvc4-1.5-5
e-2.0-2
isabelle_fonts-20190717
-jdk-11.0.3+7
+jdk-11.0.4+11
jedit_build-20190717
jfreechart-1.5.0
jortho-1.0-2