void (@NotNull VirtualFile file) { // clear caches in ArchiveHandler so that refresh will actually refresh something getHandler(file).clearCaches(); VfsUtil.markDirtyAndRefresh(false, true, true, file); }