if(debug>=3)System.out.println("growIntArray("+newLength+")");
if(debug>=5)System.out.println("growIntArray("+newLength+")");
  static private int[] growIntArray(int[] array, int newLength)   {    if(debug>=3)System.out.println("growIntArray("+newLength+")");    if (array.length >= newLength) {      System.err.println("***Utilities.growIntArray() called with array.length "+array.length+                         " >= length "+newLength+"!***");      new Exception().printStackTrace();      System.exit(-1);    }    int[] newarray = new int[newLength];    for (int i = 0, n = array.length; i < n; ++i)      newarray[i] = array[i];    return newarray;  }