Virgil on the JVM