public static void writeLinesToFile(File file, List<String> lines) throws IOException {
		try (FileWriter writer = new FileWriter(file)) {
			for (String string : lines) {
				writer.write(string);
				writer.write("\n");
			}
		}
	}
Writes the given list of Strings to the file, separating each by a newline character.
<p>
<b>
This will overwrite the contents of the given file!
</b>
@param file the file to which the lines will be written
@param lines the lines to write
@throws IOException if there are any issues writing to the file
Ghidra/Framework/Utility/src/main/java/utilities/util/FileUtilities.java