/* HTMLEditorKit.Parser = ParserGetter.getParser();
System.out.println(); */
try {
DTD d1 = DTD.getDTD("html");
for (int i = 0; i < 100; i++) {
System.out.println(d1.getElement(i).getName());
}
}
catch (IOException e) {
System.err.println(e);
e.printStackTrace();
}
