[jbosstools-dev] https://github.com/jbosstools/jbosstools-svn-mirror is now in sync again