fix for Java 6