if (fChangeOnWorkspace) { Hashtable map= JavaCore.getOptions(); JavaModelUtil.set50CompilanceOptions(map); JavaCore.setOptions(map); } else { Map map= fProject.getOptions(false); JavaModelUtil.set50CompilanceOptions(map); fProject.setOptions(map); }
		public void run(IProgressMonitor monitor) throws CoreException {			if (fChangeOnWorkspace) {				Hashtable map= JavaCore.getOptions();				JavaModelUtil.set50CompilanceOptions(map);				JavaCore.setOptions(map);			} else {				Map map= fProject.getOptions(false);				JavaModelUtil.set50CompilanceOptions(map);				fProject.setOptions(map);			}			boolean needsBuild= updateJRE(monitor);			if (needsBuild) {				fUpdateJob= CoreUtility.getBuildJob(fChangeOnWorkspace ? null : fProject.getProject());			}		}