Make jenkins port configurable