}
public void setDefaultWorkspace(WorkspaceInfo workspace) {
WorkspaceInfo wsold = catalogDAO.getDefaultWorkspace();
WorkspaceInfo wsnew = catalogDAO.getWorkspaceByName(workspace.getName());
if (wsnew == null) {
throw new IllegalArgumentException("No such workspace: '" + workspace.getName() + "'");
}
if (wsold != null && wsold.getName().equals(wsnew.getName())) // setting existing default
return;
((WorkspaceInfoImpl) wsnew).setDefault(true);
catalogDAO.update(wsnew);
if (wsold != null) {