4 public final String rootname, pubid, dtdid;
6 public DocType(String rootname, String pubid, String dtdid) {
7 this.rootname = rootname;
12 public String format() {
13 return(String.format("<!DOCTYPE %s PUBLIC \"%s\" \"%s\">", rootname, pubid, dtdid));