void (Object requestor, @NotNull VirtualFile vFile, @NotNull String newName) { final String oldName = vFile.getName(); fireBeforePropertyChange(requestor, vFile, VirtualFile.PROP_NAME, oldName, newName); ((DummyFileBase)vFile).setName(newName); firePropertyChanged(requestor, vFile, VirtualFile.PROP_NAME, oldName, newName); }