docs: protected void openFile() {
  
          try {
              FileAccess   fa  = isDump ? FileUtil.getDefaultInstance()
                                        : database.getFileAccess();
              OutputStream fos = fa.openOutputStreamElement(outFile);
  
              outDescriptor = fa.getFileSync(fos);
              fileStreamOut = new BufferedOutputStream(fos, 2 << 12);
          } catch (IOException e) {
              throw Error.error(ErrorCode.FILE_IO_ERROR,
                                ErrorCode.M_Message_Pair, new Object[] {
                  e.toString(), outFile
              });
          }
      }