[richfaces-issues] [JBoss JIRA] (RF-13232) Enable flexible changing of the deployed archive name for general deployments, e.g. CoreDeployment