--- a/Admin/components/main Fri May 03 11:47:01 2019 +0200
+++ b/Admin/components/main Fri May 03 11:50:32 2019 +0200
@@ -5,7 +5,7 @@
cvc4-1.5-4
e-2.0-2
isabelle_fonts-20190409
-jdk-11.0.2+9
+jdk-11.0.3+7
jedit_build-20190224
jfreechart-1.5.0
jortho-1.0-2