https://javaee.github.io/servlet-spec/: Java.net - The Source for Java Technology Collaboration (GlassFish Community) 
public interface javax.servlet.http.HttpSessionContext
  minor version: 0
  major version: 59
  flags: flags: (0x0601) ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT
  this_class: javax.servlet.http.HttpSessionContext
  super_class: java.lang.Object
{
  public abstract javax.servlet.http.HttpSession getSession(java.lang.String);
    descriptor: (Ljava/lang/String;)Ljavax/servlet/http/HttpSession;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    RuntimeVisibleAnnotations: 
      java.lang.Deprecated()
    MethodParameters:
           Name  Flags
      sessionId  

  public abstract java.util.Enumeration<java.lang.String> getIds();
    descriptor: ()Ljava/util/Enumeration;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    Signature: ()Ljava/util/Enumeration<Ljava/lang/String;>;
    RuntimeVisibleAnnotations: 
      java.lang.Deprecated()
}
SourceFile: "HttpSessionContext.java"
    RuntimeVisibleAnnotations: 
      java.lang.Deprecated()