docs: public Session session() {
          if (session == null || !validSession) {
              validSession(true);
              session = new Session(servletRequest.getSession(), this);
          }
          return session;
      }