Switch default REST port to 8080 since both implementations run on the same port.