Fixes #4606: Adapt our patches on jetty init script
Merge pull request #258 from jooooooon/int_4606/adapt_our_patches_on_jetty_init_script

Fixes #4606: Adapt our patches on jetty init script