Specify the dependency on Java 7 SE