static void firePropertyChange(@Nullable Document document, @NotNull String propertyName, Object oldValue, Object newValue) {
    EncodingManagerListener publisher = ApplicationManager.getApplication().getMessageBus()
      .syncPublisher(EncodingManagerListener.ENCODING_MANAGER_CHANGES);
    publisher.propertyChanged(document, propertyName, oldValue, newValue);
  }
static void firePropertyChange(@Nullable Document document, @NotNull String propertyName, Object oldValue, Object newValue)