Getting provider/properties from jaspic-providers.xml to my ServerAuthModule

I'm using Tomcat 9. I have a provider in jaspic-providers.xml:                 I am not sure how to get these properties to my ServerAuthModule. I have a ServletContextListener and can see that the jaspic-providers.xml file is being processed if I call: AuthConfigFactory factory =

How does the user principal get set on the servlet container session?

>From what I understand, the container knows if a user is authenticated by >using the session id passed to it and then looking up the user principal. If >this is non-null, the user is authenticated. I am using web.xml with security >constraints and UsersRoleLoginModule defined in jaas.conf