The contractor clause is because of the military.
If the contractor clause is not applicable to this work even releasing it under the GPL is questionable, because that's most decidedly not the same as releasing it to the public domain.
They really need to obey the law and should have an actual statement about how this works.