startTime=System.currentTimeMillis();
searchResponse = db.doRequest(searchRequest);
System.out.println("elapsed time: "+(System.currentTimeMillis()-startTime)+"ms");
DiagnosticsType diags=searchResponse.getDiagnostics();
if(diags!=null) {
DiagnosticType diag, diagArray[]=diags.getDiagnostic();
for(i=0; i<diagArray.length; i++) {
diag=diagArray[i];
System.out.print("diagnostic: "+diag.getUri());
if(diag.getDetails()!=null)
System.out.print(", details: "+diag.getDetails());
System.out.println();
}
}
System.out.println("postings=" + searchResponse.getNumberOfRecords());