Fix compilation with JDK 1.6