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