In CasServletExtension add a filter to the servlet deployment to handle CAS logout. It may be feasible to simply use the JASIG SingleSignOutFilter, by setting its configuration properties. Alternatively, could use the SingleSignOutHandler with our own filter.