make Java 7 the default