private AnnotationPreference getAnnotationPreference(IAnnotationExtension annotation) { String markerType= annotation.getMarkerType(); int severity= annotation.getSeverity();
private AnnotationPreference getAnnotationPreference(Annotation annotation) { Object type= fAnnotationAccess.getType(annotation);
	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;	}