Added test that revealed a problem with sequence to string conversion for the field number expression
Minor fixes to the toString methods in the sequence and tuple class representations in the Java code generator runtime library
Updates to results files related to generation of records
Changed the toString representation of records
Minor fix for the VDMSeq toString
Fix to toString formatting of record fields