use jdk7 as the default JVM