UML State Machine Diagram analysis of a JIRA OmniTracker BUG issue workflow