Updated: Research seems to point to Google infringement of Java code, now refuted