/** * Returns how long the search took in milliseconds . * * @return The time in milliseconds. */ public long getSearchTime() { return timer.toValue(); }