ignore eclipse's .settings