saveUndo = undo.editToBeUndone();  if(!getPath().equals(oldPath)) setMode();  if(file != null) modTime = file.lastModified();
			public void run()			{				if(rename)				{					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);					saveUndo = undo.editToBeUndone();					if(!getPath().equals(oldPath))						setMode();					if(file != null)						modTime = file.lastModified();					if(!getPath().equals(oldPath))					{						jEdit.updatePosition(Buffer.this);						setMode();					}					if(file != null)						modTime = file.lastModified();				}				setFlag(IO,false);				if(!getPath().equals(oldPath))					VFSManager.sendVFSUpdate(getVFS(),getPath(),true);				if(rename)				{					EditBus.send(new BufferUpdate(Buffer.this,						BufferUpdate.DIRTY_CHANGED));				}			}