element.setAttribute("href", "B&Q");
element.setAttribute("other", "A<B");
SGMLDTDBuilder builder = new SGMLDTDBuilder();
builder.addNonReplaceableAttribute("href");
DTD dtd = builder.buildDTD();
checkOutput(dtd, element, "<a href=\"B&Q\" other=\"A<B\"></a>");
}
public void testEmptyElementWithOptionalEndTag() throws IOException {