void (int countDelta) { int newValue = fileTypeChangedCount.addAndGet(countDelta); autoDetectedAttribute = autoDetectedAttribute.newVersion(newValue); PropertiesComponent.getInstance().setValue(FILE_TYPE_CHANGED_COUNTER_PROPERTY, Integer.toString(newValue)); }