public void annotationChanged(Annotation annotation){
  changedAnnotations.add(annotation);
}

public void annotationChanged ( Annotation annotation ) { changedAnnotations . add ( annotation ) ; }
adds the given annotation to the set of annotations that are reported as being changed from the model . if this event is considered a world change , it is no longer so after this method has successfully finished .
