code: private void grow(int size) {
  		if (this.value.length < size) {
  			char[] value = new char[ Math.max(this.value.length * 3 / 2, size)];
  			System.arraycopy(this.value, 0, value, 0, this.len);
  			this.value = value;
  		}
  	}
docs: Grow and retain content.