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.
I just happened to see a thread about that. Apparently it will work fine on JVM/Android/iOS since those targets use Java bytecode. It won't work on HTML5/Flash since those use the original Java source.