Fixing shell scripts for jetty