public void write (char buffer[], int offset, int count) throws IOException { if (closed) throw new IOException ("closed"); reader.receive(buffer, offset, count); }
write(int c) throws IOException { char[] buf = new char[1]; buf[0] = (char)c;  write(buf, 0, buf.length); }
  public void write (char buffer[], int offset, int count) throws IOException  {    if (closed)      throw new IOException ("closed");    reader.receive(buffer, offset, count);  }