Updated test results (default constructors are generated if they are not explicitly mentioned)
Fix for generation of functions that did not set the isContructor flag (of wrapper type Boolean) to false producing null pointer exceptions elsewhere
Changed generation of classes such that default constructors that are not explicitly created in the VDM model are generated in the Java code