improved jetty.sh for JETTY_BASE