[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-8273) Server runtime mishmash when renaming runtimes