if (closed) throw new IOException ("Stream closed");
  public void write (int oneChar) throws IOException  {    synchronized (lock)      {	if (closed)	  throw new IOException ("Stream closed");	resize (1);	buf[count++] = (char) oneChar;      }  }