removing an eclipse settings file