164165166167168169170
public void handleTotalResultCount(int totalCount) {} private void logTimer(String message) { notifyManager.log(message + ": " + timer.elapsedMillis() + " ms"); timer = new Duration(); }