#Application Login Context name
loginContext=cas

#What files should be extracted to a temporary file from the resource class loader?
#For tomcat, both are required... For JBOSS, only the second one, really but there is really no harm done
extractFilesFromClassLoader=MultipleJAASLoginModules.security,krb5.conf

#For each extracted file, if a system property should be defined, then use
#the naming <filename>.sysprop=<name.of.system.property>
#This first example is not required for JBOSS AS (use the login-config.xml file and define a login context with the Application Login Context name)
#For tomcat, this is required...
MultipleJAASLoginModules.security.sysprop=java.security.auth.login.config
krb5.conf.sysprop=java.security.krb5.conf

#Should the user enter username@some.domain or just username?
requiredDomainSpecInUsernames=true

#In the case the user is required to enter a domain name, what is it supposed to be?
requiredDomain=@iscte.pt