public void addListAtEnd(NodeList xtl) {
for (int i = 0, sz = xtl.length(); i < sz; ++i) {
lll.addElement(xtl.get(i));
}
}
protected NodeList getChildrenForDump() {
NodeList nl = new NodeList();
for (int i = 0; i < initializer_args.length(); ++i) nl.addLastChild(initializer_args.get(i));
nl.addLastChild(initialization);
return nl;
}