JAAS login module in Tomcat 7