/** Write index statistics to the log. */
 public void logIndexStats(String message) {
   int relationshipCount;
   int attributeCount;
   int elementCount;
   int resourceCount;
   synchronized (indexStore) {
     relationshipCount = indexStore.getRelationshipCount();
     attributeCount = indexStore.getAttributeCount();
     elementCount = indexStore.getElementCount();
     resourceCount = indexStore.getResourceCount();
   }
   DartCore.logInformation(
       message
           + ": "
           + relationshipCount
           + " relationships and "
           + attributeCount
           + " attributes in "
           + elementCount
           + " elements in "
           + resourceCount
           + " resources");
 }