private Map getOptions() {
private Map getOptions(boolean inheritJavaCoreOptions) {
	private Map getOptions() {		if (fProject != null) {			return fProject.getOptions(true);		} else {			return JavaCore.getOptions();		}		}