[jbosstools-builds] Jenkins build is back to normal : jbosstools-docs_41 #28