Fixes #5102: Stop packaging jetty-init-rudder.patch (useless file)
Merge pull request #393 from Kegeruneku/bug_5102/int/5102_remove_jetty_init_rudder_from_packages

Fixes #5102: Stop packaging jetty-init-rudder.patch (useless file)