icse15: Fix StateMachine_MAVO metamodel and regen