change jetty port to 9080