void (@NotNull VFileEvent event) { if (event instanceof VFileContentChangeEvent) return; if (event instanceof VFilePropertyChangeEvent propertyChangeEvent) { if (VirtualFile.PROP_NAME.equals(propertyChangeEvent.getPropertyName())) { final String oldName = (String)propertyChangeEvent.getOldValue(); final String newName = (String)propertyChangeEvent.getNewValue(); if (oldName != null && newName != null && oldName.endsWith(JavaFxFileTypeFactory.DOT_FXML_EXTENSION) != newName.endsWith(JavaFxFileTypeFactory.DOT_FXML_EXTENSION)) { myModificationTracker.incModificationCount(); } } } else { VirtualFile file = event.getFile(); if (file != null && JavaFxFileTypeFactory.isFxml(file)) { myModificationTracker.incModificationCount(); } } }