docs: public void close() throws IOException {
  
          writeStream.close();
  
          if (!writeFile.delete()) {
              throw new IOException(
                  RB.singleton.getString(
                      RB.WORKFILE_DELETE_FAIL, writeFile.getAbsolutePath()));
          }
      }