[Vm-dev] Upgrading jenkins; any counterpoints?