Added so the generated java class "system" which encapsulates the deployed variables gets the name of the system definition from the VDM-RT model