org.opendc.trace.swf.SwfTraceFormat