Refactored iterator() in AnnotationCollection to sortedIterator()
because we require it to return in sorted order