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

Reply via email to