/** * Deletes all annotations that span from {@code start} to {@code end}. * * @param start the start position. * @param end the end position. */ protected void deleteAnnotations(int start, int end) { for (String name : annotations.namesSet()) { annotations.delete(name, start, end); } }