Fixing error in the Tomcat FederationAuthenticator