saveUndo = undo.editToBeUndone();
setFlag(AUTOSAVE_DIRTY,false); setFlag(READ_ONLY,false); setFlag(NEW_FILE,false); setFlag(UNTITLED,false); setFlag(DIRTY,false);
			public void run()			{				if(rename)				{					if(autosaveFile != null)						autosaveFile.delete();					saveUndo = undo.editToBeUndone();					if(oldPath.equals(getPath()))					{						setFlag(AUTOSAVE_DIRTY,false);						setFlag(READ_ONLY,false);						setFlag(NEW_FILE,false);						setFlag(UNTITLED,false);						setFlag(DIRTY,false);						setFlag(IO,false);						saveUndo = undo.editToBeUndone();						if(!getPath().equals(oldPath))							setMode();						if(file != null)							modTime = file.lastModified();					}					if(!getPath().equals(oldPath))					setMode();					if(file != null)						modTime = file.lastModified();				}				if(!getPath().equals(oldPath))				{					if(rename)						jEdit.updatePosition(Buffer.this);					VFSManager.sendVFSUpdate(getVFS(),getPath(),true);				}				EditBus.send(new BufferUpdate(Buffer.this,					BufferUpdate.DIRTY_CHANGED));			}