Patched maven-jetty-plugin used in Jenkins