Whatever they'll do their best work on! Our organization doesn't provide computers (its not really a company, its a semi-non-profit entity and all the employees are contractors), but we use Mac, Windows, and Linux and a variety of environments within. Especially if you're a Java shop, OS doesn't really matter.