Also, they may own it as a trade secret rather than as a patented process. Or, further, it's possible that code that John is working on now is a derivative work

Also, they may own it as a trade secret rather than as a patented process. Or, further, it's possible that code that John is working on now is a derivative work of code owned by Zenimax. We won't know until the facts come out.