--- a/Admin/components/main Thu Oct 25 21:29:08 2018 +0200
+++ b/Admin/components/main Thu Oct 25 22:42:17 2018 +0200
@@ -5,8 +5,8 @@
cvc4-1.5-4
e-2.0-2
isabelle_fonts-20180113
-jdk-8u181
-jedit_build-20180504
+jdk-11+28
+jedit_build-20181025
jfreechart-1.5.0
jortho-1.0-2
kodkodi-1.5.2-1