Build #253(JDK11) (Feb 3, 2023, 12:59:47 AM)

	Push event to branch master at 12:59:33 AM on Feb 3, 2023
	This run spent: 9.2 sec waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: 8fdb6a420336b61c419304cb595b59bc3555f9ef Repository: https://github.com/eclipse/xtext-maven.git master
	Test Result (no failures)