105106107108109110111112113114115
@SuppressWarnings("unchecked") Enumeration<DTDAttribute> attrs = element.attributes.elements(); while(attrs.hasMoreElements()) { e.addAttribute(fromWutka(attrs.nextElement())); } return e; } }