public ProgressMonitor getProgressMonitor() { return null; }
public ProgressMonitor getProgressMonitor() { return monitor; }
	public ProgressMonitor getProgressMonitor() {		return null; // TODO	} // getProgressMonitor()