Merge pull request #332 from jetty-project/apache-10.1.x-jetty-parent

Merge pull request #332 from jetty-project/apache-10.1.x-jetty-parent #937