@Override
  public void setDefaultCharsetForPropertiesFiles(final @Nullable VirtualFile virtualFile, @Nullable Charset charset) {
    Charset old = myDefaultCharsetForPropertiesFiles;
    if (!Comparing.equal(old, charset)) {
      myDefaultCharsetForPropertiesFiles = charset;
      EncodingManagerImpl.firePropertyChange(null, PROP_PROPERTIES_FILES_ENCODING, old, charset);
    }
  }
@Override
  public void setDefaultCharsetForPropertiesFiles(final @Nullable VirtualFile virtualFile, @Nullable Charset charset)