Re: [armedbear-devel] Adjustable arrays and Java