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