So there's two options, either the software is released GPL or they have no right to use the source and it's in violation and has to be resolved?
- 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.