Update jetty.sh