Ignore an eclipse settings file