if (count == value.length) return (char[]) value.clone();
  public char[] toCharArray()  {    // XXX ORP 1.0.9 crashes on (char[]) clone() during bootstrap, so we    // omit this optimization for now.    // if (count == value.length)    //   return (char[]) value.clone();    char[] copy = new char[count];    VMSystem.arraycopy(value, offset, copy, 0, count);    return copy;  }