private void disposeSingleTool(final PluginTool pluginTool) {
		if (pluginTool == null) {
			return; // can happen if the default tool is not initialized
		}

		String toolName = pluginTool.getName();
		try {
			pluginTool.setConfigChanged(false); // don't want to prompt for saving
			pluginTool.close();
			cleanupAutoAnalysisManagers(pluginTool);
		}
		catch (Throwable t) {
			Msg.error(TestEnv.class, "Unexpected exception closing tool: " + toolName, t);
		}
	}
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