code: public void getChars(int srcBegin, int srcEnd, char dst[],
                                  int dstBegin)
    {
      int destIndex = dstBegin;
      for (int i = srcBegin; i < srcEnd; i++)
      {
        dst[destIndex++] = m_str.charAt(i);
      }
    }
docs: Copies characters from this string into the destination character
  array.
  
  @param      srcBegin   index of the first character in the string
  to copy.
  @param      srcEnd     index after the last character in the string
  to copy.
  @param      dst        the destination array.
  @param      dstBegin   the start offset in the destination array.
  @exception IndexOutOfBoundsException If any of the following
  is true:
  <ul><li><code>srcBegin</code> is negative.
  <li><code>srcBegin</code> is greater than <code>srcEnd</code>
  <li><code>srcEnd</code> is greater than the length of this
  string
  <li><code>dstBegin</code> is negative
  <li><code>dstBegin+(srcEnd-srcBegin)</code> is larger than
  <code>dst.length</code></ul>
  @exception NullPointerException if <code>dst</code> is <code>null</code>