Specify the need for Java 7