fix character encoding bug in Java runtime's BufferFiller helper class