diff -r 8f77f6735b51 -r 300beacd9875 Admin/components/main
--- a/Admin/components/main	Fri May 19 16:05:33 2017 +0200
+++ b/Admin/components/main	Fri May 19 16:14:24 2017 +0200
@@ -4,7 +4,7 @@
 cvc4-1.5pre-4
 e-1.8
 isabelle_fonts-20160830
-jdk-8u121
+jdk-8u131
 jedit_build-20170319
 jfreechart-1.0.14-1
 jortho-1.0-2