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