Notch does everything in Java. Realistically, for developing a heavily simulated real-time 3D game like this or Minecraft, how many options does he have? Maybe C++, maybe C#, but that's about it.
Everything else is either too slow or doesn't have the up-to-date gamedev ecosystem.