Re: [armedbear-devel] Losing type information after storing in java.util.ArrayList