[jbosstools-issues] [JBoss JIRA] (JBIDE-12945) Migrate jbosstools-docs-nightly job to use git sources instead of svn