Yeah, preventing your users from redistribution this is where they might get into trouble and the GPL license would be retracted and thus they would have pirated the software. But someone would need to prove it in court and IBM has a couple of good lawyers.