--- /dev/null
+package jrw.sp;
+
+public class DocType {
+ public final String rootname, pubid, dtdid;
+
+ public DocType(String rootname, String pubid, String dtdid) {
+ this.rootname = rootname;
+ this.pubid = pubid;
+ this.dtdid = dtdid;
+ }
+
+ public String format() {
+ return(String.format("<!DOCTYPE %s PUBLIC \"%s\" \"%s\">", rootname, pubid, dtdid));
+ }
+}