Fix compilation error on Java 6, this time for real