@Override
  public void setDefaultCharsetName(@NotNull String name) {
    Charset oldCharset = getDefaultCharset();
    Charset newCharset = CharsetToolkit.forName(name);
    if (!Comparing.equal(oldCharset, newCharset)) {
      setEncoding(null, name.isEmpty() ? null : newCharset);
      EncodingManagerImpl.firePropertyChange(null, PROP_DEFAULT_FILES_ENCODING, oldCharset, newCharset);
    }
  }
@Override
  public void setDefaultCharsetName(@NotNull String name)