public final static void changeAnnotation ( final AnnotationNotation notation , final int position , final HELM2Notation helm2notation ) { helm2notation . getListOfAnnotations ( ) . set ( position , notation ) ; }
method to change an annotation at the position of the HELM2Notation