/**
* Save the document in this thread. Create 'orig' document for the case that the save would fail.
*
* @exception IOException on I/O error
*/
public void saveDocument() throws IOException {
del.superSaveDocument();
}
/**
* Save the document in this thread. Create 'orig' document for the case that the save would fail.
*
* @exception IOException on I/O error
*/
public void saveDocument() throws IOException {
del.superSaveDocument();
}
