jenkins.py: removed unused function