[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-7078) Multiple servers wtih one runtime mismatch