void toolRemoved(Workspace ws, PluginTool tool) {
		deregisterTool(tool.getToolName(), tool);
		disconnectTool(tool);

		for (WorkspaceChangeListener l : changeListeners) {
			l.toolRemoved(ws, tool);
		}
	}
Called by the workspace when it is updating its name;
causes a property change event to be fired.

@param ws workspace to rename
@param name new name of workspace

@throws DuplicateNameException if there already exists a workspace by the given name
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/ToolManagerImpl.java