for (int i = 0; i < positionMarks.length; i++)
for (int i = 0; i < numMarks; i++)
  private void dumpMarks()  {    System.err.print("positionMarks: ");    for (int i = 0; i < positionMarks.length; i++)      System.err.print(positionMarks[i] + ", ");    System.err.println();  }