bug fixed in Java 7