Hello, this is a request to backport a small fix from jdk8 to jdk7u-dev.
The bug: https://bugs.openjdk.java.net/browse/JDK-8025993 The webrev: http://cr.openjdk.java.net/~tbell/8012925/webrev.00/ The review: http://mail.openjdk.java.net/pipermail/build-dev/2013-July/009495.html The jdk8 changeset: http://hg.openjdk.java.net/jdk8/build/jdk/rev/2c26ccf0a85b Thank you. With best regards. Petr.