docs: protected Session getSession( HttpServletRequest request,
                                    String rawRepositoryName,
                                    String rawWorkspaceName ) throws RepositoryException {
          assert request != null;
          if (ACTIVE_SESSION.get() == null) {
              Session session = RepositoryManager.getSession(request, repositoryNameFor(rawRepositoryName), workspaceNameFor(
                      rawWorkspaceName));
              ACTIVE_SESSION.set(session);
          }
          return ACTIVE_SESSION.get();
      }