WyJC: finally, whiley files can be compiled to the JVM and run again.