work[wcount++] = (char) ch;
writeChars(buf, offset, count);
  public void write(int ch) throws IOException  {    synchronized (lock)      {	if (work == null)	  work = new char[100];	if (wcount >= work.length)	  {	    writeChars(work, 0, wcount);	    wcount = 0;	  }	work[wcount++] = (char) ch;      }  }