Made jdk-7 the default jvm.