code: private boolean containsSeverity(IMarker[] markers, int severity)
  	{
  		for (int i = 0; i < markers.length; i++)
  		{
  			try
  			{
  				Object tmp = markers[i].getAttribute(IMarker.SEVERITY);
  				if(tmp == null && !(tmp instanceof Integer))
  				{
  					continue;
  				}
  				if (tmp!=null && ((Integer)tmp & severity)!=0)
  				{
  					return true;
  				}
  			} catch (CoreException e)
  			{
  				VdmUIPlugin.log("Faild to check marker attribute SEVERITY", e);
  			}
  		}
  		return false;
  	}
docs: Checks if any marker in the array has a defined severity which is set to the
  @param markers
  @param severity
  @return