code: public static void writeStringToFile(String contents, String path, String encoding) throws IOException {
  		OutputStream writer = null;
  		if (path.endsWith(".gz")) {
        writer = new GZIPOutputStream(new FileOutputStream(path));
      } else {
        writer = new BufferedOutputStream(new FileOutputStream(path));
      }
  		writer.write(contents.getBytes(encoding));
  	}
docs: Writes a string to a file
  
  @param contents The string to write
  @param path The file path
  @param encoding The encoding to encode in
  @throws IOException In case of failure