icse15: Fix StateMachine diagram parameters