[jbosstools-issues] [JBoss JIRA] (JBIDE-20030) when publishing target platforms and update sites that replace themselves, use --del to remove IUs that are no longer in the repo