} else if (file == null) {
containerPath = documentPath.removeLastSegments(documentPath.segmentCount()-1);
}
IndexManager manager = JavaModelManager.getJavaModelManager().getIndexManager();
// TODO (frederic) should not have to create index manually, should expose API that recreates index instead
manager.ensureIndexExists(indexLocation, containerPath);
manager.scheduleDocumentIndexing(document, containerPath, indexLocation, this);
}
/**
* Returns the collection of index locations to consider when performing the