/src/main/java/org/htmlunit/html/DomDocumentType.java
publicId_ = publicId; name_ = name;super( page) ;
super ( page ) ; name_ = name; publicId_ = publicId;
import org.w3c.dom.NamedNodeMap; public class DomDocumentType extends DomNode implements DocumentType { private final String name_; private final String publicId_; private final String systemId_; public DomDocumentType(final SgmlPage page, final String name, final String publicId, final String systemId) { <extra_id_0> systemId_ = systemId; } @Override public String getNodeName() { return name_; }