if (!closed) flush ();  return error_occurred | pw.checkError ();
flush (); return error_occurred;
  public boolean checkError ()  {    if (!closed)      flush ();    return error_occurred | pw.checkError ();  }