A safe JavaScript execution environment for the JVM