Android source code, Java, and copyright infringement: what's going on? | Hacker News Reader