GitHub advises us to keep eclipse config files committed.