code: public String getString(String character_encoding) throws java.io.UnsupportedEncodingException {
          if (_file_mode) throw new IllegalStateException("data too large");
          return new String(_memory_buffer,0,_write_pos,character_encoding);
      }
docs: Returns buffered data as String using given character encoding.
  @param character_encoding Name of character encoding to use for
  converting bytes to String.
  @return Buffered data as String.
  @throws IllegalStateException when data is too large to be read this way.
  @throws java.io.UnsupportedEncodingException when this encoding is not supported.