[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-3537) Changing runtime name leaves projects, servers with stale references