void () { long beforeType = getFirstEditor().getDocument().getModificationStamp(); typeInText("test"); long afterType = getFirstEditor().getDocument().getModificationStamp(); undoFirstEditor(); assertEquals(beforeType, getFirstEditor().getDocument().getModificationStamp()); redoFirstEditor(); assertEquals(afterType, getFirstEditor().getDocument().getModificationStamp()); }