/** * 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(); }