code: private void redimNodeArrays(int newsize) {
          int len = newsize < lo.length ? newsize : lo.length;
          char[] na = new char[newsize];
          System.arraycopy(lo, 0, na, 0, len);
          lo = na;
          na = new char[newsize];
          System.arraycopy(hi, 0, na, 0, len);
          hi = na;
          na = new char[newsize];
          System.arraycopy(eq, 0, na, 0, len);
          eq = na;
          na = new char[newsize];
          System.arraycopy(sc, 0, na, 0, len);
          sc = na;
      }
docs: redimension the arrays