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;
}
