Can I get approval to push this change to jdk7u-dev/hotspot?
8042247 <https://bugs.openjdk.java.net/browse/JDK-8042247> : Make 7u60 the default jprt release for hs24.80
webrev: http://cr.openjdk.java.net/~amurillo/7u80/8042247/this is required to bundle JPRT hotspot builds with latest promoted 7u60 bundles.
thanks -- Alejandro
