Android source code, Java, and copyright infringement: what's going on?