Hi Mike, > If you run "make check-interning" in $inv/java, the checker > crashes. See > below. This has been taken care of. Also, now unexpected errors report the name of the checker and the name of the input file causing the exception; hopefully, this would ease hunting down the bug. Regards, Mahmood