change Workspace default JRE (jdk1.7.0_03)