I think you're correct.Thought you had to have sufficient roster space for whatever players are incoming in order to complete a trade before you make it. If the JHS trade was already official, then they had 15 and couldn't make the Martin trade official before releasing one of the 15.
Or am I wrong about this?