text: public int[] grow() {final int[] ord = super.grow();if (start.length < ord.length) {start = ArrayUtil.grow(start, ord.length);end = ArrayUtil.grow(end, ord.length);freq = ArrayUtil.grow(freq, ord.length);}assert start.length >= ord.length;assert end.length >= ord.length;assert freq.length >= ord.length;return ord;}