Settlements are agreements. No-one was forced to release source code, which is the language you used. It was their choice - they could have held out if they h

Settlements are agreements. No-one was forced to release source code, which is the language you used. It was their choice - they could have held out if they had wanted to. You can't force a GPL violator to release source. All you can do is offer them a deal where they release the source in exchange for less/no monetary damages.