Try fixing compilation on Java 7.