org.eclipse.jdt.core.prefs: Why is it checked in?

[Rod Widdowson]

> OK, I buy that.  I’ll just suck it up.

It turns out that " git checkout */.settings/org.eclipse.jdt.core.prefs" does what you'd expect, even on windows...