Update setup_jetty.sh