Re: [armedbear-devel] encoding bug in Stream.readPreservingWhitespace (classpath)