public void close () throws IOException { closed = true;   destination.receive(-1); }
close() throws IOException { closed = true; snk.close(); notifyAll(); }
  public void close () throws IOException  {    closed = true;    // Notify PipedInputStream that there is no more data to be had.    destination.receive(-1);  }