run jetty on port 80