An implementation of html2js for the JVM