The encoding of the said streams are defined in JEP 400 as:
```
Those APIs include the ones listed above, but not System.out and System.err, whose charset will be as specified by Console.charset().
```
which means they are derived from `stdout.encoding` system property. This is acceptable when those streams are connected to a console, but not ideal for the cases of redirection and/or pipe. In those cases, using the default charset (`file.encoding`) would be desirable.