if (somethingChanged) {
markStale = true;
try {
editor.setMergedFsIndexCollection();
} catch (ResourceInitializationException e) {
throw new InternalErrorCDE("unexpected exception");
}
}
// interesting use case not handled:
// changing a type name to another type name which
// already exists (in an import).
if (typePriorityListsVisit(UPDATE_TYPE_NAME, sOldTypeName, sNewTypeName)) {
markStale = true;
try {
editor.setMergedTypePriorities();
} catch (ResourceInitializationException e) {
throw new InternalErrorCDE("unexpected exception");
}
}
if (markStale) {
editor.getIndexesPage().markStale();