System.err.print("positionMarks: "); for (int i = 0; i < numMarks; i++) System.err.print(positionMarks[i] + ", "); System.err.println();
System.out.print("positionMarks: "); for (int i = 0; i < marks.size(); i++) System.out.print(((Mark) marks.get(i)).mark + ", "); System.out.println();
  private void dumpMarks()  {    System.err.print("positionMarks: ");    for (int i = 0; i < numMarks; i++)      System.err.print(positionMarks[i] + ", ");    System.err.println();  }