builder.setHtmlDtd( "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.1//EN\" \"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd\">"); //$NON-NLS-1$ builder.setXhtmlStrict(true);
builder.setEmitDtd(emitDoctype); if (emitDoctype && htmlDoctype != null) { builder.setHtmlDtd(htmlDoctype);
other.setEmitAsDocument(isEmitAsDocument()); other.setEmitDtd(isEmitDtd()); other.setHtmlDtd(getHtmlDtd()); other.setHtmlNsUri(getHtmlNsUri()); other.setLinkRel(getLinkRel());