}
public void showTokensDFA() {
StatisticsAW.shared().recordEvent(StatisticsAW.EVENT_SHOW_TOKENS_DFA);
TokensDFA decision = new TokensDFA(window);
decision.launch();
}
public void showDecisionDFA() {
DecisionDFA decision = new DecisionDFA(window);
decision.launch();