Java by API/javax.swing.text.html.parser/DTD

DTD: getDTD(String name)

     
import java.io.IOException;
import javax.swing.text.html.parser.DTD;
public class Main {
  public static void main(String[] args) {
    try {
      DTD d1 = DTD.getDTD("html");
      for (int i = 0; i < 14; i++) {
        System.out.println(d1.getElement(i).getName());
      }
    } catch (IOException e) {
      System.err.println(e);
      e.printStackTrace();
    }
  }
}