Tentative fix for UTF-8 default file.encoding setter from JVM