if(saveUndo != null) saveUndo.die();  undo.addEdit(saveUndo = new SaveUndo());
			public void run()			{				// Saving a NEW_FILE will create a file on				// disk, thus file system browsers must reload				if(getFlag(NEW_FILE) || !getPath().equals(oldPath))					VFSManager.sendVFSUpdate(getVFS(),getPath(),true);				setFlag(IO,false);				if(rename)				{					// we do a write lock so that the					// autosave, which grabs a read lock,					// is not executed between the					// deletion of the autosave file					// and clearing of the dirty flag					try					{						writeLock();						if(autosaveFile != null)							autosaveFile.delete();						saveUndo = undo.editToBeUndone();						setFlag(AUTOSAVE_DIRTY,false);						setFlag(READ_ONLY,false);						setFlag(NEW_FILE,false);						setFlag(UNTITLED,false);						setFlag(DIRTY,false);					}					finally					{						writeUnlock();					}					if(!getPath().equals(oldPath))					{						jEdit.updatePosition(Buffer.this);						setMode();					}					if(file != null)						modTime = file.lastModified();					EditBus.send(new BufferUpdate(Buffer.this,						BufferUpdate.DIRTY_CHANGED));				}			}