--- a/Admin/components/main Tue Jul 26 10:33:39 2016 +0200
+++ b/Admin/components/main Wed Jul 27 10:24:50 2016 +0200
@@ -5,7 +5,7 @@
e-1.8
Haskabelle-2015
isabelle_fonts-20160227
-jdk-8u92
+jdk-8u102
jedit_build-20160330
jfreechart-1.0.14-1
jortho-1.0-2
--- a/Admin/java/build Tue Jul 26 10:33:39 2016 +0200
+++ b/Admin/java/build Wed Jul 27 10:24:50 2016 +0200
@@ -14,8 +14,8 @@
## parameters
-VERSION="8u92"
-FULL_VERSION="1.8.0_92"
+VERSION="8u102"
+FULL_VERSION="1.8.0_102"
ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"