Sorry, wrong subject on last message. On 04/15/2014 04:03 PM, Paul Govereau wrote: > Please approve backport fix for bug 8035765 from jdk9 to jdk8u20. > > Bug: https://bugs.openjdk.java.net/browse/JDK-8035765 > > JDK9 changeset: http://hg.openjdk.java.net/jdk9/dev/langtools/rev/04419fec8fd4 > > Thanks, > Paul