Use Java 7 as default JVM.