diff -r 982f0bf34804 -r 59527ee2d6da Admin/components/main
--- a/Admin/components/main	Tue Jan 23 16:37:57 2018 +0100
+++ b/Admin/components/main	Tue Jan 23 17:04:52 2018 +0100
@@ -5,7 +5,7 @@
 cvc4-1.5-3
 e-2.0-1
 isabelle_fonts-20180113
-jdk-8u152
+jdk-8u162
 jedit_build-20170319
 jfreechart-1.0.14-1
 jortho-1.0-2