Undoing changes to eclipse settings