Jenkins saferestart plugin