[jbosstools-dev] Changes to Jenkins jobs: source warnings now register as failures