Ok, didn’t know that. I thought nowadays all platforms have sys.props("file.encoding") == "UTF-8"
and java.nio.charset.Charset.defaultCharset.displayName == "UTF-8"
anyways.
Ok, didn’t know that. I thought nowadays all platforms have sys.props("file.encoding") == "UTF-8"
and java.nio.charset.Charset.defaultCharset.displayName == "UTF-8"
anyways.