The patch in questions was already approved in this thread http://mail.openjdk.java.net/pipermail/core-libs-dev/2013-November/023611.html so unless there are objections I shall push it to the new Java 9 repository. Thanks, Brian