Fixes #4606: Adapt our patches on jetty init script