icse15: Fix StateMachine metamodel and regen