[jbosstools-issues] [JBoss JIRA] Updated: (JBIDE-3391) Can't deploy/undeploy project to the server if name of the server's runtim was changed.