Fixes #4612: Adapt SLES-specific patch on jetty init script