Update jenkins_tools.xml