Update example.jetty.sh