[jbosstools-issues] [JBoss JIRA] Updated: (JBIDE-5931) Renaming deployed project on running server results in the project to be deployed twice