Jenkins: correction of Jenkins version