Ensure jenkins is restarted when the default changes.