Fix #1263: Implement java.io.InputStreamReader using CharsetsDecoders.