/** writes safely (to temp file, then rename) */

static void saveTextFileWithEncoding(String fileName, String contents, S encoding) throws IOException {

  CriticalAction action = beginCriticalAction("Saving file " + fileName + " (" + l(contents) + " chars)");

  try {

    File file = new File(fileName);

    File parentFile = file.getParentFile();

    if (parentFile != null)

      parentFile.mkdirs();

    String tempFileName = fileName + "_temp";

    File tempFile = new File(tempFileName);

    if (contents != null) {

      if (tempFile.exists()) try {

        S saveName = tempFileName + ".saved." + now();

        copyFile(tempFile, new File(saveName));

      } catch (Throwable e) { printStackTrace(e); }

      FileOutputStream fileOutputStream = newFileOutputStream(tempFile.getPath());

      OutputStreamWriter outputStreamWriter = new OutputStreamWriter(fileOutputStream, encoding);

      PrintWriter printWriter = new PrintWriter(outputStreamWriter);

      printWriter.print(contents);

      printWriter.close();

    }

    if (file.exists() && !file.delete())

      throw new IOException("Can't delete " + fileName);

    if (contents != null)

      if (!tempFile.renameTo(file))

        throw new IOException("Can't rename " + tempFile + " to " + file);

  } finally {

    action.done();

  }

}

static void saveTextFileWithEncoding(File fileName, String contents, S encoding) ctex {

  saveTextFileWithEncoding(fileName.getPath(), contents, encoding);

}