Standardise the development environment port numbers for jetty on 8983