/** @return Returns the state machine */ public SCXML getStateMachine() { return exctx.getStateMachine(); }