Change jetty port to 4001