Update jenkins port numbers