Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions