void (@NotNull Object action) { // after top-level write action is finished, all the deletion listeners should have processed the deleted files // and their data is considered safe to remove. From this point on accessing a removed file will result in an exception. if (!app.isWriteAccessAllowed()) { killInvalidatedFiles(); } }