Searched defs:HTMLdtd (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jaxp/src/com/sun/org/apache/xml/internal/serialize/
H A DHTMLdtd.java23 // Fixed bug in isElement and made HTMLdtd public.
51 public final class HTMLdtd class
377 is = HTMLdtd.class.getResourceAsStream( ENTITIES_RESOURCE );

Completed in 23 milliseconds