Recording the end of a refactoring