432433434435436437438439440441442
throw new SearchException(e); } } }); Result[] res = (Result[])task.run(); debugLog( "success: found " + res.length + " results" ); return( res );