docs: public void write(int c) throws IOException {
  	    if (writer != null) {
  	        writer.write(c);
  	    } else {
  	        ensureOpen();
  	        //PK33136
  	        strBuffer.append((char)c);
  	        ++nextChar;
  			//PK33136
  	    }
      }