static void fixPlatformEncoding() {
  System.setProperty("file.encoding", "UTF-8");
}