Package jenkins.tools