Change Jetty port to 8993