public static void writeAsXMLForDebug(DataTypeManager dataManager, String outputFilename)
			throws IOException {
		if (!outputFilename.endsWith(".xml")) {
			outputFilename = outputFilename + ".xml";
		}
		File file = new File(outputFilename);

		XmlWriter writer = new XmlWriter(file, "PROGRAM.DTD");

		MessageLog log = new MessageLog();
		DataTypesXmlMgr mgr = new DataTypesXmlMgr(dataManager, log);
		try {
			mgr.write(writer, TaskMonitor.DUMMY);
		}
		catch (CancelledException e) {
			// can't happen with dummy monitor
		}

		writer.close();
	}
Output data types in XML format for debugging purposes.
NOTE: There is no support for reading the XML produced by this method.
@param dataManager the data type manager
@param outputFilename name of the output file
@throws IOException if there was a problem writing to the file
Ghidra/Features/Base/src/main/java/ghidra/app/util/xml/DataTypesXmlMgr.java