if (this.customExtensions != null) { return this.customExtensions; } File file = new File( this.projectBaseDir, "custom-extensions.xml"); if (file.exists()) { return file; } else { return new File( this.polishHomeDir, "custom-extensions.xml"); }
return this.customExtensions;
	public File getCustomExtensions() {		if (this.customExtensions != null) {			return this.customExtensions;					}		File file = new File( this.projectBaseDir, "custom-extensions.xml");		if (file.exists()) {			return file;		} else {			return new File( this.polishHomeDir, "custom-extensions.xml");		}	}