Bump jetty-server from 9.4.41.v20210516 to 10.0.14 #49

	#
	# Copyright 2020-2023 The ModiTect authors
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.
	#

	name: Build

	on:
	pull_request:

	env:
	JAVA_VERSION: '17'
	JAVA_DISTRO: 'zulu'

	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3

	- name: Setup Java
	uses: actions/setup-java@v3
	with:
	java-version: ${{ env.JAVA_VERSION }}
	distribution: ${{ env.JAVA_DISTRO }}
	cache: maven

	- name: Build
	run: \|
	chmod +x mvnw
	./mvnw -ntp -B install

Provide feedback