Raise compiler requirements to Java 1.7