1
package com.thaiopensource.resolver.xml;
6
public class ExternalDTDSubsetIdentifier extends ExternalIdentifier {
7
private final String doctypeName;
9
public ExternalDTDSubsetIdentifier(String href, String base, String publicId, String doctypeName) {
10
super(href, base, publicId);
11
this.doctypeName = doctypeName;
14
public String getDoctypeName() {