[jboss-jira] [JBoss JIRA] (JBAS-4752) Session Expiration should also flush the JBoss Authentication Cache