SurvCE 2.0 has support for the New "Leica GX1230" receiver as well as support for the "Leica SR530".
I am not familiar with the Leica SR9400 GPS receiver - I have never seen any references to that particular Make and Model but I don't think its supported in SurvCE 2.0