Can someone please review this change: make jdk7u12 the default jprt release for hs24 http://cr.openjdk.java.net/~amurillo/webrevs/8003254 8003254 <http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=8003254>: make jdk7u12 the default jprt release for hs24 thanks -- Alejandro