Set JDK7 as default JDK (not overrided by OpenJDK pulled by dsc20)