18641865186618671868186918701871187218731874
edit.end(); getUndoManager().addEdit( edit ); success = true; } finally { if( !success ) edit.cancel(); } } } // class actionTrimClass /**