X10

java-interop: type system should support throwability checking