icse15: Fix StateMachine_MAVO version qualifier