code: @Override
  	public void close() {
  		if (leaf != null) {
  			leaf.close();
  			leaf = null;
  		}
  		dirsMayBeUpdated = null;
  	}
docs: Closes the index by closing its open leaf page, if necessary.
  
  @see Index#close()