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