run jetty on port 8085