I forgot that the attachment is not redistributed and that I can now post on cr.openjdk.java.net so here's the webrev:
http://cr.openjdk.java.net/~bpb/7032154/ Begin forwarded message: > This concerns the issue > http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7032154. > > The patch described in the issue has been updated to be with respect to the > current JDK repository tip. The updated version is attached to this message.