@NotNull
  public static char[] loadFileText(@NotNull File file, @Nullable String encoding) throws IOException {
    InputStream stream = new FileInputStream(file);
    try (Reader reader = encoding == null
                         ? new InputStreamReader(stream, Charset.defaultCharset())
                         : new InputStreamReader(stream, encoding)) {
      return loadText(reader, (int)file.length());
    }
  }
@NotNull
  public static char[] loadFileText(@NotNull File file, @Nullable String encoding)