private String getWorkspaceName(Workspace workspace) { if (workspaceNameCache == null) { workspaceNameCache = new HashMap<String, String>(); } String name = workspaceNameCache.get(workspace.getId()); if (name == null) { for (Plugin p : getBrix().getPlugins()) { if (p.isPluginWorkspace(workspace)) { name = p.getUserVisibleName(workspace, false); } workspaceNameCache.put(workspace.getId(), name); } } return name; }