I'm sure their commercial copyright and intellectual property rights ensure their ownership of the code.