Build #1 (Jan 4, 2021, 7:16:26 AM)

	Pull request #1166 opened at 7:16:17 AM on Jan 4, 2021
	Revision: e4f5d47437ce50f76b2ec8c8aa591c54ec789001 Repository: https://github.com/eclipse/repairnator.git PR-1166
	Aborted by user Javier Ron