Resetting jetty back to port 8080...