bug: https://bugs.openjdk.java.net/browse/JDK-7171591jdk8 review: http://mail.openjdk.java.net/pipermail/net-dev/2012-May/004404.html
jdk8 changeset: http://hg.openjdk.java.net/jdk8/tl/jdk/rev/eb441933f6fe
The JDK8 changeset applied cleanly, modulo a formatting/indentation change. Thanks, -Chris.