this.addOptions((Options) child);
}
// Update any attributes of this merged element.
if (child != null)
attributes = child.merge(attributes);
stack.push(child);
}
// Send off the event with nothing modified except for the
// attributes (possibly)
super.startElement(namespaceURI, localName, qName, attributes);