public void dispose() {
		for (Workspace element : workspaces) {
			WorkspaceImpl w = (WorkspaceImpl) element;
			w.dispose();
		}
		toolServices.dispose();
	}
Save the tools that are opened and changed, that will be brought back up when the project
is reopened
@return true if the session was saved
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/ToolManagerImpl.java