Final fixes for get_jenkins_projects