public void pushState() {
states.add(state);
levels.add(level);
state = start_state;
level = 0;
inXML++;
}
public void popState() {
state = states.removeLast();
level = levels.removeLast();
if (inXML > 0) inXML--;
}