public void closeTool(PluginTool toolToClose, boolean ignoreChanges) {
		if (toolToClose == tool) {
			tool = null;
		}

		extraTools.remove(toolToClose);
		AbstractGuiTest.executeOnSwingWithoutBlocking(() -> {
			if (ignoreChanges) {
				toolToClose.setConfigChanged(false);
			}
			toolToClose.close();
		});
	}
Closes the given tool.  This method is asynchronous, so you must wait for the Swing thread
to perform the work yourself.  Watch out for modal dialogs.
@param toolToClose The tool to close.
Ghidra/Features/Base/src/main/java/ghidra/test/TestEnv.java