code: public final static void changeAnnotation(final AnnotationNotation notation, final int position,
  			final HELM2Notation helm2notation) {
  		helm2notation.getListOfAnnotations().set(position, notation);
  	}
docs: method to change an annotation at the position of the HELM2Notation
  
  @param notation
  new changed annotation
  @param position
  position of the changed annotation
  @param helm2notation
  input HELM2Notation