Changing Java version (JRE 1.7)