Introduced a VDM collection interface and moved some code general to all collections into a VDMCollection class
Added a VDMSet Java class representing generated VDM sets