Changeset: 23cbe1ef22e0 Author: amurillo Date: 2012-11-21 12:26 -0800 URL: http://hg.openjdk.java.net/hsx/hsx24/hotspot/rev/23cbe1ef22e0 8003254: make jdk7u12 the default jprt release for hs24 Reviewed-by: jcoomes ! make/jprt.properties