Re: [armedbear] #428: Protect against java exceptions while printing java objects