When does independently developed software have to be licensed under the GPL?