Does CA Scheduler Job Management need to be restarted after changing an installation option?