Revert license change.
This isn't identical to the one permitted by UCB since it is copyright multiple people.