private HTMLDocumentTypeRegistry() {
super();
this.entries = new Hashtable();
String name = "HTML";
String publicId = "-//W3C//DTD HTML 4.01 Transitional//EN";//$NON-NLS-1$
String systemId = "http://www.w3.org/TR/html4/loose.dtd";
String displayName = "HTML 4.01 Transitional";
this.defaultEntry = new HTMLDocumentTypeEntry(name, publicId, systemId, null, false, false, displayName, false, false, false, true);
this.entries.put(publicId, this.defaultEntry);
publicId = "-//W3C//DTD HTML 4.01//EN";//$NON-NLS-1$
systemId = "http://www.w3.org/TR/html4/strict.dtd";
displayName = "HTML 4.01 Strict";
this.entries.put(publicId, new HTMLDocumentTypeEntry(name, publicId, systemId, null, false, false, displayName, false, false, false, true));
publicId = "-//W3C//DTD HTML 4.01 Frameset//EN";//$NON-NLS-1$
systemId = "http://www.w3.org/TR/html4/frameset.dtd";
displayName = "HTML 4.01 Frameset";
this.entries.put(publicId, new HTMLDocumentTypeEntry(name, publicId, systemId, null, false, true, displayName, false, false, false, true));
name = "HTML";
publicId = CHTML_PUBLIC_ID;
displayName = "Compact HTML 1.0 Draft";
this.defaultCHTMLEntry = new HTMLDocumentTypeEntry(name, publicId, null, null, false, false, displayName, false, false, false, true);
this.entries.put(publicId, this.defaultCHTMLEntry);
HTMLDocumentTypeRegistryReader reader = new HTMLDocumentTypeRegistryReader();
if (reader != null)
reader.readRegistry(this);
}