This method of the XMLDSO class saves the XML document to a file.
public void save(String filename);