Anyone familiar with any good SSO solutions for use in JBoss across servers? I am currently looking at Yale's CAS and Ping Identity's SourceID. Anyone have experience with this?