Add Java 1.7 directive