What would you expect to happen otherwise? AFAIK this is exactly the same as happens in other court cases where the GPL has been tried.