if ( index >= topDocs.scoreDocs.length ) {
updateTopDocs( 2 * index );
}
//if the refresh timed out, raise an exception
if ( timeoutManager.isTimedOut() && index >= topDocs.scoreDocs.length ) {
throw new QueryTimeoutException(
"Timeout period exceeded. Cannot load document: " + index,
(SQLException) null,
preparedQuery.toString()
);
}