Hello, This is a request to push the following fix to jdk7u-osx: CR: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7131038 Webrev: http://cr.openjdk.java.net/~anthony/x-10-Xflags-7131038.0/ The changes to the specification are approved by CCC. -- best regards, Anthony