WyJC: simplied implementation of WyObject which was still implemented like an Actor.
WyJC: simplied implementation of WyObject which was still implemented like an Actor.

Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler