I would think this should go _after_ the call to TicketRegistry#deleteTicket. The LogoutManager is performing some potentially heavy work that could fail in a number of ways, and I would think we would want that after ticket deletion to ensure the ticket is deleted in all cases.