reverts to running jetty on 8080. using 80 is tricky because jetty should run as non-root