On May 21, 2015, at 12:54 PM, Robert Muir <rcm...@gmail.com> wrote: >> Please note that this patch has been pushed: >> >> http://hg.openjdk.java.net/jdk9/dev/jdk/rev/e08b856baa26 >> > > I just tested this with lucene's test suite without any issues.
Fantastic! Thanks for the testing corroboration: that is very good to know.
