Re: [armedbear] #468: Overhaul of byte[] as java.nio.Buffer