Update for compatibility with latest revision of jenkins