docs: @Override
    public void flush() {
      try {
        out.flush();
      }
      catch(Exception ex) {
        reportError(null, ex, ErrorManager.FLUSH_FAILURE);
      }
      try {
        err.flush();
      }
      catch(Exception ex) {
        reportError(null, ex, ErrorManager.FLUSH_FAILURE);
      }
    }