docs: protected void removeIndex( IndexDefinition oldDefn,
                                  ManagedIndex existingIndex,
                                  String workspaceName ) {
          logger().debug("Index provider '{0}' is removing index in workspace '{1}': {2}", getName(), workspaceName, oldDefn);
          existingIndex.shutdown(true);
      }