if (fContextDisplayString == null) { fContextDisplayString= getLabelProvider().createLabel(fProposal); }
	public String getContextDisplayString() {		if (fContextDisplayString == null) {			fContextDisplayString= getLabelProvider().createLabel(fProposal);		}		return fContextDisplayString;	}