Fix compilation error on JDK6