Fix compilation problem with Java 6