Restricted free agent Leon Washington is not part of the Santonio Holmes trade, according to SI's Peter King.
It's still possible that he could be dealt after signing his one-year tender, but King is certain that Leon is not part of this trade. King also updates that the pick acquired by the Steelers was the 151st overall, not the 155th. As long as Washington doesn't end up in Pittsburgh, this deal is robbery for the Jets.
Source: Peter King on Twitter