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