Ismael Juma <mlists at ...> writes: > Also see (filed more than a year ago): > > https://bugs.openjdk.java.net/show_bug.cgi?id=100119 Oops, some of the newer messages were not visible on my reader for some reason. Sorry for the noise. Ismael