Re: [armedbear-devel] bug in RandomAccessCharacterFile.java