[jbosstools-issues] [JBoss JIRA] (JBDS-4542) remove duplicate entries from target platforms