Compiling Java to JavaScript