424982 improved PID check in jetty.sh