[jbosstools-builds] Build failed in Jenkins: jbosstools-docs_40 #12