When I did a DL to T1 connection at JFK, I was told to take the DL JFK JItney (airside bus) to T2, exit and walk to the right to get to T1. IIRC this was a time when the interterminal trains were only operating in one direction, so taking that would have meant going the long way around the circle.