27702771277227732774277527762777277827792780
// edit.end(); // fires doc.tc.modified() // doc.getUndoManager().addEdit( edit ); return DONE; } catch( IOException e1 ) { edit.cancel(); context.setException( e1 ); return FAILED; } } // run()