public DOMSource(Node node, String systemID) { this.node = node; this.baseID = systemID; }
public DOMSource() { this(null, null); }
	public DOMSource(Node node, String systemID) {		this.node = node;		this.baseID = systemID;	} // DOMSource()