I would recommend calling jml's do_abort() before the throw statement. This give us a chance to easily trap the error in gdb if it shows up in DasDB.