Fix broken jenkins restart