Bug fix : last time designer generated the code, the richttextbox was missing
Bug fix #86 : Display transitions defined in the state machine as "Normal Case". Display other transitions as "Degraded Case"