Fix to compile with Java 1.7