450894 jetty.sh does not delete JETTY_STATE at start