[jbosstools-issues] [JBoss JIRA] (JBIDE-11628) Improve perfs of aggregation script

Improve perfs of aggregation script ----------------------------------- Key: JBIDE-11628 URL: https://issues.jboss.org/browse/JBIDE-11628 Project: Tools (JBoss Tools) Issue Type: Enhancement Components: Build/Releng Reporter: Mickael Istria Assignee: Mickael Istria Fix For: 3.4.0.M1 Attachments: JBIDE-11628-sources.patch the aggregation script (build.xml) performs a lot of magic, such as collecting zips and source zips. Some steps may be obsolete and no more necessary, we should clean it to save execution time.