code: public void append(char c[], int off, int len) throws IOException {
  	append(new String(c, off, len));
      }
docs: method to append a part of a char array
  
  @param c char array to get part from
  @param off start index on the char array
  @param len length of the sequenz to get from array
  @throws IOException