#707 (Jun 12, 2020, 1:29:16 PM)

	No changes.
	Started by upstream project viatra-master build number 1941 originally caused by: Started by upstream project master-integration-trigger build number 268 originally caused by: Started by timer
	Revision: 32e3d1e5eabe74faff071e6476ed14cc0f33da8a Repository: /gitroot/viatra/org.eclipse.viatra.examples.git origin/master
	Test Result (no failures)