Merge of pull request breaks the javagen tests
Description
Build is broken after the commits in #714
Steps to Reproduce
Run mvn with tests
Tests run: 23, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 6.44 sec <<< FAILURE! - in org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest test22: src/test/resources/unsupported/SetPatternInSetComp.vdmpp Time elapsed: 0.054 sec <<< ERROR! java.lang.NullPointerException at org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest.genData(UnsupportedJavaCodeGenTest.java:123) at org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest.test(UnsupportedJavaCodeGenTest.java:80)
The content of the problematic file, src/test/resources/unsupported/SetPatternInSetComp.vdmpp file:
class Entry
operations public Run: () ==> set of int Run() == return { x | {x} in set { {1}, {2} } & true };
end Entry