Ignore some Eclipse preferences

I don't know if I'm only one affected by it.