Added tests exercising generation of the record modification expressions
Added Java code generation support for the 'mu' expression
Added UI support for Java code generation of the concurrency mechanisms of VDM++

Close #396