modify jenkins settings