code: public String substring(int start, int end) {
          char[] buf = new char[end - start];
          getChars(start, end, buf, 0);
          return new String(buf);
      }
docs: Return a String containing a copy of the chars in this buffer, limited to the
  [start, end[ range.
  @hide