Ese código es por tanto compatible con la GPL.