[armedbear-devel] need to customize print-object for a java class