Yes, $7.5M, so they should contribute ~75 engineers. But, not just them, also Cisco, EBay, Amazon, and every company having a lot of usage of Eclipse.

And the same line of thinking for Linux, and other open source projects.