void append(final char[] source, final int start, final int count) {
    if ((count + arraySize) > array.length) {
      // Fixes #112
      array = Arrays.copyOf(array, count + arraySize + (array.length >> 2));
    }
    System.arraycopy(source, start, array, arraySize, count);
    arraySize += count;
  }
void append(final char[] source, final int start, final int count)