https://tomcat.apache.org/: Tomcat Servlet Engine Core Classes and Standard implementations 
public interface org.apache.catalina.TomcatPrincipal extends java.security.Principal
  minor version: 0
  major version: 59
  flags: flags: (0x0601) ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT
  this_class: org.apache.catalina.TomcatPrincipal
  super_class: java.lang.Object
{
  public abstract java.security.Principal getUserPrincipal();
    descriptor: ()Ljava/security/Principal;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract org.ietf.jgss.GSSCredential getGssCredential();
    descriptor: ()Lorg/ietf/jgss/GSSCredential;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract void logout();
    descriptor: ()V
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    Exceptions:
      throws java.lang.Exception
}
SourceFile: "TomcatPrincipal.java"