super.doResetDocument(element, monitor);
IAnnotationModel model= getAnnotationModel(element);
if (model instanceof AbstractMarkerAnnotationModel) {
AbstractMarkerAnnotationModel markerModel= (AbstractMarkerAnnotationModel) model;
markerModel.resetMarkers();
}
}
/**
* Refreshes the given file resource.