Updated the Java code generator such that it can be configured with the VDM dialect