IMHO, the relevant section of the GPL, version 2 -- assuming that this is the version of the license Mike Ingle intends -- is as follows:

7. If, as a consequence of a court judgment or allegation of patent .