System.arraycopy(value, srcOffset, dst, dstOffset, todo);
System.arraycopy(value, srcOffset, dst, dstOffset, srcEnd - srcOffset);
  public synchronized void getChars(int srcOffset, int srcEnd,                                    char[] dst, int dstOffset)  {    int todo = srcEnd - srcOffset;    if (srcOffset < 0 || srcEnd > count || todo < 0)      throw new StringIndexOutOfBoundsException();    System.arraycopy(value, srcOffset, dst, dstOffset, todo);  }