private void GrowTermBuffer(int newSize) { if (TermBuffer.Length < newSize) { // Not big enough; create a new array with slight // over allocation: TermBuffer = new char[ArrayUtil.Oversize(newSize, RamUsageEstimator.NUM_BYTES_CHAR)]; } }