public void setSystemId(File file) { try { this.systemId = fileToURL (file).toString (); } catch (IOException e) {  throw new RuntimeException (e.getMessage ()); }
public void setSystemId(String systemId) { this.systemId = systemId;
	public void setSystemId(File file) {	    try {		this.systemId = fileToURL (file).toString ();	    } catch (IOException e) {		// can't happen		throw new RuntimeException (e.getMessage ());	    }	}