It's compiled from the same source code using GWT (and in fact the GWT / HTML5 version is now the mainstream release)