code: public Set<String> getAllWorkspaceNames() {
          Set<String> names = getPredefinedWorkspaceNames();
          names.add(getDefaultWorkspaceName());
          return names;
      }
docs: Obtain all of the workspace names specified by this repository, including the {@link #getPredefinedWorkspaceNames()
  predefined workspaces} and the {@link #getDefaultWorkspaceName() default workspace}. The result does <i>not</i> contain the
  names of any dynamically-created workspaces (e.g., those not specified in the configuration).
  
  @return the set of all workspace names defined by the configuration; never null