Fixed an utf8 problem in the trace output of StatechartCoderAcf