setPositionsInRange(gapEnd, newGapEnd, false);
int adjIndex = searchFirst(gapEnd); int count = marks.size(); for (int i = adjIndex; i < count; i++) { Mark m = (Mark) marks.get(i); if (m.mark >= newGapEnd) break; m.mark = newGapEnd; }
  protected void shiftGapEndUp(int newGapEnd)  {    if (newGapEnd == gapEnd)      return;    assert newGapEnd > gapEnd : "The new gap end must be greater than the "                                + "old gap end.";    setPositionsInRange(gapEnd, newGapEnd, false);    gapEnd = newGapEnd;  }