Build #1 (Sep 1, 2022, 10:16:53 AM)

	Push event to branch R4_25_maintenance at 10:16:40 AM on Sep 1, 2022
	This run spent: 5.1 sec waiting; 4 min 58 sec build duration; 5 min 3 sec total from scheduled to completion.
	Revision: 929b0cd763bb9450b116e2f1e0d5a3add3c522a0 Repository: https://github.com/eclipse-jdt/eclipse.jdt.git R4_25_maintenance
	Static Analysis: 2 warnings Static analysis results from: Maven (2), Java Compiler (0)