Comment by klodolph

Either they distribute the source code under a license compatible with the GPL (not necessarily the GPL itself), OR they are committing copyright infringement and must,

- negotiate a license,

- pay damages,

- some other remedy, OR

- nothing at all, if nobody with standing (meaning an author of decides to sue.

This last option is by far the most likely.