updated to jdk-8u51;
authorwenzelm
Sun Jul 19 21:16:39 2015 +0200 (2015-07-19)
changeset 607603444e0bf9261
parent 60759 36d9f215c982
child 60761 a443b08281e2
updated to jdk-8u51;
Admin/components/components.sha1
Admin/components/main
Admin/java/build
     1.1 --- a/Admin/components/components.sha1	Sun Jul 19 00:03:10 2015 +0200
     1.2 +++ b/Admin/components/components.sha1	Sun Jul 19 21:16:39 2015 +0200
     1.3 @@ -46,6 +46,7 @@
     1.4  5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
     1.5  cfecb1383faaf027ffbabfcd77a0b6a6521e0969  jdk-8u20.tar.gz
     1.6  44ffeeae219782d40ce6822b580e608e72fd4c76  jdk-8u31.tar.gz
     1.7 +4132cf52d5025bf330d53b96a5c6466fef432377  jdk-8u51.tar.gz
     1.8  c95ebf7777beb3e7ef10c0cf3f734cb78f9828e4  jdk-8u5.tar.gz
     1.9  44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
    1.10  a242a688810f2bccf24587b0062ce8027bf77fa2  jedit_build-20120304.tar.gz
     2.1 --- a/Admin/components/main	Sun Jul 19 00:03:10 2015 +0200
     2.2 +++ b/Admin/components/main	Sun Jul 19 21:16:39 2015 +0200
     2.3 @@ -4,7 +4,7 @@
     2.4  e-1.8
     2.5  exec_process-1.0.3
     2.6  Haskabelle-2015
     2.7 -jdk-7u80
     2.8 +jdk-8u51
     2.9  jedit_build-20150228
    2.10  jfreechart-1.0.14-1
    2.11  jortho-1.0-2
     3.1 --- a/Admin/java/build	Sun Jul 19 00:03:10 2015 +0200
     3.2 +++ b/Admin/java/build	Sun Jul 19 21:16:39 2015 +0200
     3.3 @@ -11,8 +11,8 @@
     3.4  
     3.5  ## parameters
     3.6  
     3.7 -VERSION="7u80"
     3.8 -FULL_VERSION="1.7.0_80"
     3.9 +VERSION="8u51"
    3.10 +FULL_VERSION="1.8.0_51"
    3.11  
    3.12  ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
    3.13  ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"