Build #1 (Jun 3, 2022, 11:45:05 AM)

	Push event to branch R4_24_maintenance at 11:44:51 AM on Jun 3, 2022
	This run spent: 6.1 sec waiting; 3 min 4 sec build duration; 3 min 10 sec total from scheduled to completion.
	Revision: 5dbe0c8fa956b588a478787e4bdc4a482c703986 Repository: https://github.com/eclipse-jdt/eclipse.jdt.git R4_24_maintenance
	Static Analysis: 3 warnings Static analysis results from: Maven (3), Java Compiler (0)