#412 (Mar 13, 2023, 12:40:18 PM)

PR #707: Use Java 11

	Build Artifacts
	No changes.
	GitHub pull request #707 of commit beec6bb58f7519c702532e0d8ae6f2485732ceca, no merge conflicts.
	This run spent: 15 sec waiting; 2 min 38 sec build duration; 2 min 53 sec total from scheduled to completion.
	Test Result (no failures)