--indent;
	public void generateDefault(SimpleNode node) {//		System.out.println("START " + node.toString() +//			": first=" + node.getFirstToken() + ", last=" + node.getLastToken());		int numChildren = node.jjtGetNumChildren();		SimpleNode child = null;		Token t;		// For each child, emit tokens preceeding that		// child not covered by previous children,		// then visit the child.		int childNum = 0;		while (childNum < numChildren) {			SimpleNode nextChild = (SimpleNode) node.jjtGetChild(childNum);			if (child == null)				t = node.getFirstToken();			else if (child.getLastToken() != nextChild.getFirstToken())				t = child.getLastToken().next;			else				t = nextChild.getFirstToken();			while (t != nextChild.getFirstToken()) {				emit(t.image);				t = t.next;			}			child = nextChild;			++indent;			visit(child);			--indent;			++childNum;		}		// Emit rest of tokens		if (child == null)			t = node.getFirstToken();		else if (child.getLastToken() != node.getLastToken())			t = child.getLastToken().next;		else			t = null;		while (t != null) {			emit(t.image);			if (t == node.getLastToken())				break;			t = t.next;		}//		System.out.println("FINISH " + node.toString() +//			": first=" + node.getFirstToken() + ", last=" + node.getLastToken());	}