File _service:obs_scm:CVE-2023-40167.patch of Package jetty