It appears to use GWT for the HTML application, so it works on the Java source itself, NOT the JVM bytecode. It's probably possible to target Android only with the framework and then use another JVM language.