public void saveToXmlFile(File file) throws IOException {
		Element saveToXml = saveToXml();
		byte[] bytes = XmlUtilities.xmlToByteArray(saveToXml);
		FileUtilities.writeBytes(file, bytes);
	}
Write the properties to a file as XML
@param file the file to write to.
@throws IOException if the file could not be written
Ghidra/Framework/Generic/src/main/java/ghidra/framework/options/GProperties.java