8687888990919293949596
} else { states.set(currentState, event); } if(appendHistory){ HistoryTokenizer tok = new HistoryTokenizer(); tok.begin(); tok.setToken("s", Integer.toString(currentState)); tok.commit(); } }
8990919293949596979899