Fix to flush the JDBCSecurityCache of roles for a User when a User logs out.
Authored by: rkisson 2011-08-03
Parent: [r5462]
Child: [r5464]