searchResultIndex = searchResults.size() - 1;
} else if (searchResultIndex >= searchResults.size()) {
searchResultIndex = 0;
}
if (! searchResults.isEmpty()) {
SearchResult searchResult = searchResults.getHits().get(searchResultIndex);
navigator.gotoResource(searchResult.getResource(), searchResult.getPagePos(), NavigationBar.this);
}
}