code: public void decorate(Object element, IDecoration decoration)
  	{
  		int adornmentFlags = computeAdornmentFlags(element);
  		if (adornmentFlags == ERRORTICK_ERROR)
  		{
  			decoration.addOverlay(VdmPluginImages.DESC_OVR_ERROR);
  		} else if (adornmentFlags == ERRORTICK_WARNING)
  		{
  			decoration.addOverlay(VdmPluginImages.DESC_OVR_WARNING);
  		}
  	}
docs: /*
  (non-Javadoc)
  
  @see org.eclipse.jface.viewers.ILightweightLabelDecorator#decorate(java.lang.Object,
  org.eclipse.jface.viewers.IDecoration)