Added functionality to return all the deployed objects inside a "system" definition
Added functionality to genarate a java class called "system" which initializes all the deployed objects from the "system" definition in VDM-RT to null