code: public String getText(Object element)
  	{
  		String result = VdmElementLabels.getTextLabel(element, evaluateTextFlags(element));
  		// if (result.length() == 0 && (element instanceof IStorage)) {
  		// result= fStorageLabelProvider.getText(element);
  		// }
  		return decorateText(result, element);
  	}
docs: /*
  (non-Javadoc)
  @see ILabelProvider#getText