Changed port numbers to reduce probability of collisions on CI server.