--- a/Admin/components/main Sat Oct 06 21:20:48 2018 +0200 +++ b/Admin/components/main Sat Oct 06 20:49:40 2018 +0200 @@ -5,7 +5,7 @@ cvc4-1.5-4 e-2.0-2 isabelle_fonts-20180113 -jdk-8u181 +jdk-11 jedit_build-20180504 jfreechart-1.5.0 jortho-1.0-2