Build #1003 (Dec 2, 2020 11:19:32 AM)

PR #577: Bump jetty.version from 9.4...

	No changes.
	GitHub pull request #577 of commit 9f8f7c9e8ed13671c424dea128f8455819edb0d3, no merge conflicts.