TriggerEvent[] evts = new TriggerEvent[tkns];
for (int i = 0; i < tkns; i++) {
evts[i] = new TriggerEvent(st.nextToken(),
TriggerEvent.SIGNAL_EVENT, null);
}
exec.triggerEvents(evts);
if (exec.getCurrentStatus().isFinal()) {
System.out.println("A final configuration reached.");
}
}
}