[jbosstools-issues] [JBoss JIRA] (JBIDE-9908) provide mechanism to override URL for discovery.xml file; need to be able to respin w/ a different URL fed to the build

provide mechanism to override URL for discovery.xml file; need to be able to respin w/ a different URL fed to the build ----------------------------------------------------------------------------------------------------------------------- Key: JBIDE-9908 URL: https://issues.jboss.org/browse/JBIDE-9908 Project: Tools (JBoss Tools) Issue Type: Sub-task Components: central Reporter: Nick Boldt Assignee: Snjezana Peco Fix For: 3.3.0.Beta1