revert eclipse settings deletion