Pacify eclipse over the .settings file