89909192939495
return definition; } private Attribute fromWutka(DTDAttribute attr) { return new Attribute(attr.name); }