[armedbear-devel] Adjustable arrays and Java