Done converting mCRL2 trace to UML SD!
\0/
ready!
UML22mCRL2.jar ready!
mCRL22UML.jar ready!