/** Resets the counters and timers. */
 public void resetCounters() {
   queryNum = 0;
   resultNum = 0;
   timer.reset();
 }
 /**
  * Returns the query time.
  *
  * @return query time
  */
 public long getQueryTime() {
   return timer.get();
 }