compile with Java 7