docs: private void writeUnixCleanup(File file, BufferedWriter bw) throws IOException {
          bw.write("echo begin delete" + "\n");
          bw.write("n=0" + "\n");
          bw.write("while [ $n -ne 1 ]; do" + "\n");
          bw.write("  sleep 3" + "\n");
          bw.write("  if [ -e " + dir.replace('\\', '/') + " ]; then" + "\n");
          bw.write("    rm -rf " + dir.replace('\\', '/') + "\n");
          bw.write("  else" + "\n");
          bw.write("    echo file not found - n=$n" + "\n");
          bw.write("    n=1" + "\n");
          bw.write("  fi" + "\n");
          bw.write("done" + "\n");
          bw.write("echo end delete" + "\n");
          bw.write("rm " + file.getAbsolutePath().replace('\\', '/') + "\n");
      }