updated to jdk-8u92;
authorwenzelm
Wed Jun 01 20:59:16 2016 +0200 (2016-06-01)
changeset 632147e8ef9ac3159
parent 63213 5c8b500347cd
child 63215 c7de5b311909
updated to jdk-8u92;
Admin/components/components.sha1
Admin/components/main
Admin/java/build
     1.1 --- a/Admin/components/components.sha1	Wed Jun 01 19:54:31 2016 +0200
     1.2 +++ b/Admin/components/components.sha1	Wed Jun 01 20:59:16 2016 +0200
     1.3 @@ -67,6 +67,7 @@
     1.4  74df343671deba03be7caa49de217d78b693f817  jdk-8u60.tar.gz
     1.5  dfb087bd64c3e5da79430e0ba706b9abc559c090  jdk-8u66.tar.gz
     1.6  2ac389babd15aa5ddd1a424c1509e1c459e6fbb1  jdk-8u72.tar.gz
     1.7 +caa0cf65481b6207f66437576643f41dabae3c83  jdk-8u92.tar.gz
     1.8  44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
     1.9  a242a688810f2bccf24587b0062ce8027bf77fa2  jedit_build-20120304.tar.gz
    1.10  4c948dee53f74361c097c08f49a1a5ff9b17bd1d  jedit_build-20120307.tar.gz
     2.1 --- a/Admin/components/main	Wed Jun 01 19:54:31 2016 +0200
     2.2 +++ b/Admin/components/main	Wed Jun 01 20:59:16 2016 +0200
     2.3 @@ -5,7 +5,7 @@
     2.4  e-1.8
     2.5  Haskabelle-2015
     2.6  isabelle_fonts-20160227
     2.7 -jdk-8u72
     2.8 +jdk-8u92
     2.9  jedit_build-20160330
    2.10  jfreechart-1.0.14-1
    2.11  jortho-1.0-2
     3.1 --- a/Admin/java/build	Wed Jun 01 19:54:31 2016 +0200
     3.2 +++ b/Admin/java/build	Wed Jun 01 20:59:16 2016 +0200
     3.3 @@ -14,8 +14,8 @@
     3.4  
     3.5  ## parameters
     3.6  
     3.7 -VERSION="8u72"
     3.8 -FULL_VERSION="1.8.0_72"
     3.9 +VERSION="8u92"
    3.10 +FULL_VERSION="1.8.0_92"
    3.11  
    3.12  ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
    3.13  ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"