fix issue where jenkins wasn't restarted after installing plugins