text: public void growForward() {forwardPos = ArrayUtil.grow(forwardPos, 1+forwardCount);forwardID = ArrayUtil.grow(forwardID, 1+forwardCount);forwardIndex = ArrayUtil.grow(forwardIndex, 1+forwardCount);final Type[] newForwardType = new Type[forwardPos.length];System.arraycopy(forwardType, 0, newForwardType, 0, forwardType.length);forwardType = newForwardType;}