One other thing that I just noticed on this line:

`log.debug("Ticket found. Performing back channel logout and then deleting.");`

This is slightly misleading, because it's making an assumption that logout calls are to be back-channeled while the implementation lets the service decide.