Adding Zest to Undoing and Restoring Improves Textual Exploration: A selective undo plug-in for Eclipse