Use the default Tomcat port, 8080

8983 is the default port of Jetty, which (at present) we're not using.
Per #416.