I would like to export the HTML5 which is normally created when I upload a game, locally? I would like to have a look at the Javascript.
How is the conversion Java->HTML5 done? Is this functionality homegrown Greenfoot from the ground up, or do you use some libraries doing most of the complex stuff in the background?