Google stole open source code without crediting the authors (Artemis/Minitap)