}
public void startElement(XML.Element c) throws XML.Exn { try {
- JS attrs = new JS();
+ JS attrs = new JS.O();
// FIXME attribute URIs? add an additional hash?
for(int i=0; i<c.getAttrLen(); i++) attrs.put(c.getAttrKey(i), c.getAttrVal(i));
startElement.call(c.getLocalName(), attrs, c.getUri(), null, 3);