public void updatedAnnotation(Collection<AnnotationFS> annotations) {
IAnnotationModelExtension annotationModel = (IAnnotationModelExtension) getDocumentProvider().getAnnotationModel(getEditorInput());
for (AnnotationFS annotation : annotations) {
annotationModel.modifyAnnotationPosition(new EclipseAnnotationPeer(annotation),
new Position(annotation.getBegin(), annotation.getEnd() - annotation.getBegin()));
}
selectionChanged(getSite().getPage().getActivePart(), mFeatureStructureSelectionProvider.getSelection());
}