code: public void append(String str, int off, int len) throws IOException {
  	append(str.substring(off, off + len));
      }
docs: method to append a part of a String
  
  @param str string to get part from
  @param off start index on the string
  @param len length of the sequenz to get from string
  @throws IOException