void (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); } }