This method of the XMLDSO class saves the schema to the given file.
public void saveSchema(String filename);