if (fInformationDisplayString == null) { fInformationDisplayString= getLabelProvider().createParameterList(fProposal); }
	public String getInformationDisplayString() {		if (fInformationDisplayString == null) {			fInformationDisplayString= getLabelProvider().createParameterList(fProposal);		}		return fInformationDisplayString;	}