This is (retrospectively) to request approval for: https://bugs.openjdk.java.net/browse/JDK-8021368
The fix has been reviewed and approved [1]. I happily pushed the changeset yesterday [2] and later realized that I missed to request a formal approval (sorry about that and thanks to Sean for catching that). Thanks Mandy [1] http://mail.openjdk.java.net/pipermail/core-libs-dev/2013-December/023939.html [2] http://hg.openjdk.java.net/jdk7u/jdk7u-dev/jdk/rev/ad8490675e4c
