public void flush () throws IOException {   if (closed) throw new IOException ("closed"); }
flush() throws IOException { ; }
  public void flush () throws IOException  {    // We'll throw an exception if we're closed, but there's nothing    // else to do here.    if (closed)      throw new IOException ("closed");  }