Minor fix: Added missing class name to list of class names used by the VDM environment
Updated IDE part of code generation to reflect the most recent changes made in the core part. Now the VDM model is analysed prior to code generation and use of invalid names and unsupported modeling constructs (if any) are reported in the console. Also, if any problems occur during the attempt to code generate the model they will be reported in the console.