The Overture VDM Example Packager