text: public void Grow(){costs = ArrayUtil.Grow(costs, 1 + count);lastRightID = ArrayUtil.Grow(lastRightID, 1 + count);backPos = ArrayUtil.Grow(backPos, 1 + count);backIndex = ArrayUtil.Grow(backIndex, 1 + count);backID = ArrayUtil.Grow(backID, 1 + count);JapaneseTokenizerType[] newBackType = new JapaneseTokenizerType[backID.Length];System.Array.Copy(backType, 0, newBackType, 0, backType.Length);backType = newBackType;}