fixing bug in release mode

in which `java_throw` got overwritten by an undef