I am using Jenkins with Pipelines and have defined a scripted pipeline using a Jenkinsfile. It looks something like this:
Jenkinsfile
node { /* some