void (@NotNull VirtualFile file) { var event = new VFileContentChangeEvent(REFRESH_REQUESTOR, file, file.getModificationStamp(), -1); RefreshQueue.getInstance().processEvents(false, List.of(event)); }