Ignoring Eclipse's .settings