JPM: fixed bug in IntegerList::delitems that could occur when deleting multiple slices (longer than 1, overlapping in the internal vector) after one another.