A helper for working with XMI files