Jato, an open source implementation of the JVM