What I find interesting is that Aleynikov (and the sources I've read about him) claim the code was open source. The issue of Goldman making false claim to GPLed or similarly licensed code hasn't come up. If the court ruled that modified GPLed code can't be taken by an exiting employee then that has a whole host of other implications.