adapted to new xmi version