[jbosstools-issues] [JBoss JIRA] (JBIDE-13246) When two servers with same version are found only one is added