Added fix for incorrect generation of variable expression
Added preparational work on generation og the VDM library classes in Java
Updated IDE part of codegen to support generation of multiple VDM library classes