Build #11 (Aug 27, 2019 8:24:40 AM)

	No changes.
	Triggered by Gerrit: https://git.eclipse.org/r/148437
	Revision: 65360ef8fa56b4ef1613bdabb063b0fff69b7a5f refs/changes/37/148437/1
	Aborted by user bergmann@mit.bme.hu