activated xmi id serialization, desactivated comparison per ids
17 files changed