Am 24.10.2012 21:50, schrieb John Rose: [...] > > Yes, it's a bug, and there is a fix for this integrated into JDK8: > http://hg.openjdk.java.net/jdk8/jdk8/jdk/log?rev=7023639 what do you suggest as workaround? bye Jochen