Actually, they might be forced to stop using the GPL code and pay damages. The GPL is a copyright license, not an ordinary contract, and there's no provision f

Actually, they might be forced to stop using the GPL code and pay damages. The GPL is a copyright license, not an ordinary contract, and there's no provision for specific performance. The court isn't going to issue an order commanding the release of your source code.