MSP430F5438A: MSP430F5438AMPZREP

I have a DO-160 design that requires two separate and different micros. I am using MSP430F5438AMPZREP and SM320F2801PZMEP. Documentation from both comes up with a different pinout for the 14 pin JTAG connector. MSP430 Programming With the JTAG Interface schematic shows one pinout ( TDO-1, TDI-3, TMS-5, TCK-7, GND -9) and _spdu079a : JTAG_MPSD shows a different pinout, (TMS-1, TDI-3, TDO-7, TCK_RET-9, TCK-11).  Which do I use or is it debugger/emulator dependent?