private void deregisterTool(String toolName, PluginTool tool) {
		List<PluginTool> list = namesMap.get(toolName);
		SystemUtilities.assertTrue(list != null, "Attempted to remove tool that's not there");
		list.remove(tool);
		if (list.size() == 0) {
			namesMap.remove(toolName);
			toolStatusMap.remove(toolName);
		}
		tool.removePropertyChangeListener(this);
	}
Registers the new instance of the tool in the namesMap and returns the total number of
running instances of that tool
@param toolName the name of the tool being registers
@param tool the tool being registered
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/ToolManagerImpl.java