public void setSystemId(String systemID) { if (inputSource != null) { inputSource.setSystemId(systemID);
public void setSystemId(String systemId) { if (inputSource != null) { inputSource.setSystemId(systemId); }
	public void setSystemId(String systemID) {		if (inputSource != null) {			inputSource.setSystemId(systemID);		}	} // setSystemId()