Build #1 (Mar 16, 2020 2:08:36 PM)

	Build Artifacts
	Push event to branch brkJavagenTests at 14:08:29 on 16-Mar-2020
	Revision: 87e8945dbf2bc95bdd7ff9ffd90e784c9422cec4 brkJavagenTests
	Jacoco - Overall Coverage Summary INSTRUCTION 39% BRANCH 29% COMPLEXITY 30% LINE 41% METHOD 43% CLASS 79%
	Test Result (1 failure ) org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest.test[22: src/test/resources/unsupported/SetPatternInSetComp.vdmpp]
	Jacoco - Overall Coverage Summary INSTRUCTION 39% BRANCH 29% COMPLEXITY 30% LINE 41% METHOD 43% CLASS 79%
	Task Scanner: 209 open tasks in 962 workspace files. 209 new open tasks