ContributionAnnotation oldAnnotation = (ContributionAnnotation) annotation;
removeFromHistory(oldAnnotation);
ContributionAnnotation newAnnotation;
User source = oldAnnotation.getSource();
newAnnotation = new ContributionAnnotation(source, model);
addContributionAnnotation(newAnnotation, beforeOffset);
newAnnotation = new ContributionAnnotation(source, model);