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 > .