[richfaces-issues] [JBoss JIRA] Resolved: (RF-10487) Push: undeploying push application leaves open resources