Requesting push approval for JDK-8042059. This fix has already gone into both 9 and 8u20 and applies cleanly to 7u-dev.
Bug: https://bugs.openjdk.java.net/browse/JDK-8042059Webrev: http://cr.openjdk.java.net/~mikael/webrevs/8042059-7udev/webrev.00/webrev/
Review: http://mail.openjdk.java.net/pipermail/hotspot-dev/2014-April/013681.html
Cheers, Mikael