[richfaces-issues] [JBoss JIRA] (RF-11925) PushHandlerFilter - release SessionManager reference at destroy