# HG changeset patch
# User amurillo
# Date 1426616282 25200
# Node ID 5a5becfbb9a0dc1f83c169138c524c39a5786179
# Parent  9c1b87028450471241c63c7839a66b1bd43e2176# Parent  ea714a39e902fb8729f71f2d0f634855646e297d
Merge

diff -r 9c1b87028450 -r 5a5becfbb9a0 make/jprt.properties
--- a/make/jprt.properties	Thu Mar 12 13:44:39 2015 -0700
+++ b/make/jprt.properties	Tue Mar 17 11:18:02 2015 -0700
@@ -29,7 +29,7 @@
 #
 
 # The current release name
-my.jdk.update.version=40
+my.jdk.update.version=60
 jprt.tools.default.release=jdk8u${my.jdk.update.version}
 
 # Check if this is the equivalent of a hotspot push job