public void write (int oneByte) throws IOException { if (closed) throw new IOException (); destination.receive(oneByte); }
write(int b) throws IOException { byte[] buf = new byte[1]; buf[0] = (byte)(b & 0xFF);  snk.write(buf, 0, buf.length); }
  public void write (int oneByte) throws IOException  {    if (closed)      throw new IOException ();    destination.receive(oneByte);  }