Use default workspace JRE in launch configurations