public void toXmlFile(File destFile) throws IOException {
		Element rootEle = toXml();
		Document doc = new Document(rootEle);

		XmlUtilities.writePrettyDocToFile(doc, destFile);
	}
Converts this object to XML and writes it to the specified file.

@param destFile name of xml file to create
@throws IOException if file io error
Ghidra/Features/BytePatterns/src/main/java/ghidra/bitpatterns/info/FileBitPatternInfo.java