docs: public void write(String s, int off, int len) throws IOException {
  	    if (writer != null) {
  	        writer.write(s, off, len);
  	    } else {
  	        ensureOpen();
  	        //PK33136
  	        strBuffer.append(s.substring(off, off+len));
  	        nextChar += len;
  	        //PK33136
  	    }
      }