updated to jdk-8u112;
authorwenzelm
Wed Oct 19 18:14:42 2016 +0200 (2016-10-19)
changeset 64313ae7c11573922
parent 64312 1c7b77286ed0
child 64314 93de02f9c2d9
updated to jdk-8u112;
Admin/components/components.sha1
Admin/components/main
Admin/java/build
     1.1 --- a/Admin/components/components.sha1	Wed Oct 19 17:39:04 2016 +0200
     1.2 +++ b/Admin/components/components.sha1	Wed Oct 19 18:14:42 2016 +0200
     1.3 @@ -65,6 +65,7 @@
     1.4  baa6de37bb6f7a104ce5fe6506bca3d2572d601a  jdk-7u80.tar.gz
     1.5  7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
     1.6  baf275a68d3f799a841932e4e9a95a1a604058ae  jdk-8u102.tar.gz
     1.7 +741de6a4a805a0f9fb917d1845409e99346c2747  jdk-8u112.tar.gz
     1.8  5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
     1.9  cfecb1383faaf027ffbabfcd77a0b6a6521e0969  jdk-8u20.tar.gz
    1.10  44ffeeae219782d40ce6822b580e608e72fd4c76  jdk-8u31.tar.gz
     2.1 --- a/Admin/components/main	Wed Oct 19 17:39:04 2016 +0200
     2.2 +++ b/Admin/components/main	Wed Oct 19 18:14:42 2016 +0200
     2.3 @@ -5,7 +5,7 @@
     2.4  e-1.8
     2.5  Haskabelle-2015
     2.6  isabelle_fonts-20160830
     2.7 -jdk-8u102
     2.8 +jdk-8u112
     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 Oct 19 17:39:04 2016 +0200
     3.2 +++ b/Admin/java/build	Wed Oct 19 18:14:42 2016 +0200
     3.3 @@ -14,8 +14,8 @@
     3.4  
     3.5  ## parameters
     3.6  
     3.7 -VERSION="8u102"
     3.8 -FULL_VERSION="1.8.0_102"
     3.9 +VERSION="8u112"
    3.10 +FULL_VERSION="1.8.0_112"
    3.11  
    3.12  ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
    3.13  ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"