Retrieves the total number of documents in the search engine.
public long getTotalDocs() throws java.rmi.RemoteException
Total number of documents indexed in the DRE.
