docs: public Set<String> getPredefinedWorkspaceNames() {
          Set<String> names = new HashSet<String>();
          Document workspaces = doc.getDocument(FieldName.WORKSPACES);
          if (workspaces != null) {
              List<?> predefined = workspaces.getArray(FieldName.PREDEFINED);
              if (predefined != null) {
                  for (Object value : predefined) {
                      if (value instanceof String) names.add((String)value);
                  }
              }
          }
          names.add(getDefaultWorkspaceName());
          return names;
      }