changed default release to VDM10
Updated the Java code generator such that it can be configured with the VDM dialect
Updated the GeneratedModule to carry also the IR declaration that was generated
Refactoring of functionality used to print merge errors and information about unsupported nodes
Removed the system class from the merged parse list
Update to the result files: All collection utility classes now use the equals method in the runtime Utils class
Removed the equal methods from the collection utility classes
Imports cleanup
Updated the JavaFormat class to use the equals method in the Utils runtime class when comparing collections
Corrected console printout in codegen plugin
Added test revealing recently fixed problem with generation of optionally typed collections that are compared
Minor fix to the console printout in the codegen plugin
Simplified a few tests
Updated the flags in the CompileTest system
Merge remote-tracking branch 'origin/test' into pvj/main
Updated handling of corner cases in the visitors that construct the IR
Handled FIXME: Improved the way bool assignments are constructed
Handling of the bracket type in the IR construction was missing
Minor updates to test result files
Added some tests to exercise generation of pre conditions