New candidate JEP: 400: UTF-8 by Default

Use UTF-8 as the JDK's default charset, so that APIs that depend on the default charset behave consistently across all platforms and independently of the user(s locale and configuration…