[jbosstools-builds] Jenkins build is back to normal : jbosstools-docs_40 #10