Workspace default JRE