I was actually kind of hoping for the second option, if only so that it would be Oracle footing the legal bill to establish a precedent. That Oracle didn’t choose this option may indicate that Red Hat’s coercive license wrapper (“if you exercise your open source rights to redistribute, we’ll close your account”) is actually an effective and legal end-run around open source licenses. I don’t want that to be the case.