Kava for GCJ?

[Adam Megacz]

Has anybody heard of a Kava implementation for GCJ?

  http://citeseer.nj.nec.com/bacon02kava.html

Kava basically brings C# structs (unboxed complex types) to Java, but
does a much better job.  You can even define unboxed scalars that are
constrained to be less than the length of a given array, thereby
safely elimnating bounds checks.

Hrm, I wonder if this would be hard to implement... might be worth my
time.

  - a