I am a student learning java and a soon to be java programmer, I think it will be good for DrJava to expand its sphere to android based devices. This will make java programmers happy but it will also advance the drjava community. I know it will be hard to talk to the people from google but if it works, I belive it will help drjava.