# HG changeset patch
# User wenzelm
# Date 1469607890 -7200
# Node ID e506baad44faf5de5219a849a973b455ab0ca1c9
# Parent  3a0f40a6fa42362ea4a7e90e44cd4becea25fe37
updated to jdk-8u102;

diff -r 3a0f40a6fa42 -r e506baad44fa Admin/components/main
--- 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
diff -r 3a0f40a6fa42 -r e506baad44fa Admin/java/build
--- 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"