Re: [armedbear-devel] Catching exceptions from toString() methods