positionMarks[0] = 0;
for (int i = 0; i < marks.size(); i++) { Mark m = (Mark) marks.get(i); if (m.mark <= gapEnd) m.mark = 0; }
  protected void resetMarksAtZero()  {    if (gapStart != 0)      return;    positionMarks[0] = 0;  }