[richfaces-issues] [JBoss JIRA] (RF-11894) PushHandlerFilter initialization fails when PushServlet registered manually