PluginTool getTool(Workspace ws, ToolTemplate template) {
		PluginTool tool = template.createTool(project);
		if (tool != null) {
			registerTool(tool.getToolName(), tool);
		}
		return 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