What is the purpose of JvThrow? Why isn't _Jv_Throw declared as void _Jv_Throw(jthrowable) __attribute__((noreturn)) instead of the current void* parameter? Why, for that matter, aren't we simply using "throw", since the c++ compiler automatically calls _Jv_Throw for Java types? I see that there is mixed use of JvThrow, _Jv_Throw, and throw throughout the library... r~