revert changes to eclipse settings