UndoableEdit toUndo = undo.editToBeUndone(); if(toUndo == saveUndo) setDirty(false);  return true;
	public boolean redo()	{		if(undo == null)			return false;		try		{			setFlag(UNDO_IN_PROGRESS,true);			undo.redo();			return true;		}		catch(CannotRedoException cr)		{			Log.log(Log.DEBUG,this,cr);			return false;		}		finally		{			setFlag(UNDO_IN_PROGRESS,false);		}	}