It happens so many times that a developer forgets to unlock files in his workspace before leaving the team for a vacation or for good. To solve this problem, there are several options: remove the lock (this won't work if exclusive checkout is enabled for the team project or the file type), delete the developer's workspace, or undo his changes.