code: private String key(ManageableRepository repository, String workspaceName)
     {
        String repositoryName = repository.getConfiguration().getName();
        return repositoryName + workspaceName;
     }
docs: Key generator for sessions cache.
  
  @param repository the repository instance
  @param workspaceName the workspace name
  @return