AnnotationPreference info= (AnnotationPreference) e.next(); if (info.getMarkerType().equals(markerType) && severity == info.getSeverity())
AnnotationPreference info= (AnnotationPreference)e.next(); if (info.getAnnotationType().equals(type))
	private AnnotationPreference getAnnotationPreference(IAnnotationExtension annotation) {		String markerType= annotation.getMarkerType();		int severity= annotation.getSeverity();				Iterator e= fMarkerAnnotationPreferences.getAnnotationPreferences().iterator();		while (e.hasNext()) {			AnnotationPreference info= (AnnotationPreference) e.next();			if (info.getMarkerType().equals(markerType) && severity == info.getSeverity())				return info;			}		return null;	}