jenkins.py improvements