[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-3099) JBoss Server View ID change causes problems