void (@NotNull MavenSearchIndex index) { if (index instanceof MavenUpdatableIndex) { myManager.myIndexUpdateManager.scheduleUpdateContent(myManager.myProject, IndicesContentUpdateRequest.explicit(List.of(index.getRepository()))); } }