Poking around it looks like ada is actually the minority now. Everything current is either transitioning to c++ or started that way. The really old but still used stuff is often written in weird languages like jovial or in assembly.

Essentially the story of DoD mandates goes down to everyone getting waivers all the time and nuking the mandate.