static void saveGZTextFile(File file, S contents, S encoding default "UTF-8") ctex {

  File parentFile = file.getParentFile();

  if (parentFile != null)

    parentFile.mkdirs();

  String tempFileName = file.getPath() + "_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());

    GZIPOutputStream gos = new GZIPOutputStream(fileOutputStream);

    OutputStreamWriter outputStreamWriter = new OutputStreamWriter(gos, encoding);

    PrintWriter printWriter = new PrintWriter(outputStreamWriter);

    printWriter.print(contents);

    printWriter.close();

    gos.close();

    fileOutputStream.close();

  }

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

    throw new IOException("Can't delete " + file.getPath());

  if (contents != null)

    if (!tempFile.renameTo(file))

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

}