Workspace getWorkspace(String name) {
		return wsMap.get(name);
	}
Get a handle to the workspace with the given name.

@param name name of the workspace.

@return workspace handle if one exists.
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/ToolManagerImpl.java