It should be considered an obligation to be met in the bankruptcy process. If they sell the IP for the product the purchaser should have to meet it. Failing that the users should be given the IP rights (opensource would meet this def to me) then.

In just world at least