Using different ports for Jenkins

By default, Jenkins runs on port number 8080.