I’d actually be more surprised to learn they didn’t move to Ada when that was THE DOD programming language.