fixes jenkinsfile tool names
1 file changed