[armedbear-devel] help on using cl-dot with java-objects