void (String name, String systemId, int lineNr) { Properties attribs = attributeDefaultValues.get(name); if (attribs == null) { attribs = new Properties(); } else { attribs = (Properties)attribs.clone(); } currentElements.push(attribs); }