403281 jetty.sh waits for started before OK