Fri, 13 Mar 2015 12:39:16 -0700
Merge
1.1 --- a/make/jprt.properties Wed Mar 11 14:10:56 2015 -0700 1.2 +++ b/make/jprt.properties Fri Mar 13 12:39:16 2015 -0700 1.3 @@ -29,7 +29,7 @@ 1.4 # 1.5 1.6 # The current release name 1.7 -my.jdk.update.version=40 1.8 +my.jdk.update.version=60 1.9 jprt.tools.default.release=jdk8u${my.jdk.update.version} 1.10 1.11 # Check if this is the equivalent of a hotspot push job