Changing JRE to JavaSE-1.7