diff -r a11f3ebb7bd8 -r 9c94853f03b3 Admin/components/main
--- a/Admin/components/main	Sun Jan 22 16:45:58 2017 +0100
+++ b/Admin/components/main	Sun Jan 22 19:22:33 2017 +0100
@@ -4,7 +4,7 @@
 cvc4-1.5pre-4
 e-1.8
 isabelle_fonts-20160830
-jdk-8u112
+jdk-8u121
 jedit_build-20161024
 jfreechart-1.0.14-1
 jortho-1.0-2