Принудительная лицензия не продлевается автоматически: важное дело о патентах Vertex