public void write (char[] buffer, int offset, int len) throws IOException
public void write (int oneChar)
  public void write (char[] buffer, int offset, int len) throws IOException  {    synchronized (lock)      {	if (closed)	  throw new IOException ("Stream closed");	if (len >= 0)	  resize (len);	System.arraycopy(buffer, offset, buf, count, len);	count += len;      }  }