In-browser javascript-based JVM subset