saveUndo = undo.editToBeUndone();
			public void run()			{				if(autosaveFile != null)					autosaveFile.delete();				setFlag(AUTOSAVE_DIRTY,false);				setFlag(READ_ONLY,false);				setFlag(NEW_FILE,false);				setFlag(UNTITLED,false);				setFlag(DIRTY,false);				setFlag(SAVING,false);				if(getFlag(NEW_FILE) || mode.getName().equals("text"))					setMode();				if(file != null)					modTime = file.lastModified();				if(!getPath().equals(oldPath))					jEdit.updatePosition(Buffer.this);				// getPath() used since 'path' in containing				// method isn't final				if(getPath().toLowerCase().endsWith(".macro"))					Macros.loadMacros();				EditBus.send(new BufferUpdate(Buffer.this,					BufferUpdate.DIRTY_CHANGED));			}