On Tue, May 15, 2012 at 4:35 AM, David Holmes <david.hol...@oracle.com>wrote:
> Hi Pierre, > > [...] > > This is bug 7150392 and was fixed about 6 weeks ago. > > Hi David Indeed, it's exactly the same problem as bug #7150392 I've checked several versions of OpenJDK source (jdk7/jdk7, jdk7u/jdk7u, jdk7u/jdk7u4, and jdk8/jdk8), and it seems that the proposed patch has only been applied on jdk8 repo. So this could explain than I ran into this bug after it was corrected. Anyway, thanks for you time ! Regards -- Pierre Laporte pie...@pingtimeout.fr http://www.pingtimeout.fr/