[jbosstools-issues] [JBoss JIRA] (JBIDE-10433) Should we be committing zips of jars into SVN repo?