void write(XmlWriter writer, TaskMonitor monitor) throws CancelledException {
		monitor.setMessage("Writing EXTERNAL LIBRARIES ...");
		writer.startElement("EXT_LIBRARY_TABLE");
		String[] externalNames = extManager.getExternalLibraryNames();
		for (int i = 0; i < externalNames.length; ++i) {
			if (monitor.isCancelled()) {
				throw new CancelledException();
			}
			String path = extManager.getExternalLibraryPath(externalNames[i]);
			if (path == null) {
				path = "";
			}
			XmlAttributes attrs = new XmlAttributes();
			attrs.addAttribute("NAME", externalNames[i]);
			attrs.addAttribute("PATH", path);
			writer.startElement("EXT_LIBRARY", attrs);
			writer.endElement("EXT_LIBRARY");
		}
		writer.endElement("EXT_LIBRARY_TABLE");
	}
Write out the XML for the external library table.
@param writer writer for XML
@param monitor monitor that can be canceled
should be written
@throws IOException
Ghidra/Features/Base/src/main/java/ghidra/app/util/xml/ExternalLibXmlMgr.java