Build #4(JDK11) (Feb 8, 2023, 8:50:30 AM)

	Push event to branch master at 8:50:18 AM on Feb 8, 2023
	This run spent: 5.9 sec waiting; 23 min build duration; 23 min total from scheduled to completion.
	Revision: f259219bb371bc332d2fec8fe84e2488c0e6b57b Repository: https://github.com/eclipse/xtext-extras.git master
	Test Result (no failures)