- updateSearchFrameTitle(defaultFTSFrameTitle
- + " - "
- + result
- + " "
- + totalNumberformatter.format((Number) (offSet + 1))
- + " to "
- + totalNumberformatter
- .format((Number) (offSet + resultSetCount))
- + " of "
- + totalNumberformatter
- .format((Number) totalResultSetCount) + " "
- + " (" + (endTime - startTime) + " milli secs)");
+ updateSearchFrameTitle(
+ defaultFTSFrameTitle + " - " + result + " "
+ + totalNumberformatter
+ .format(Integer.valueOf(offSet + 1))
+ + " to "
+ + totalNumberformatter.format(Integer
+ .valueOf(offSet + resultSetCount))
+ + " of "
+ + totalNumberformatter.format(
+ Integer.valueOf(totalResultSetCount))
+ + " " + " (" + (endTime - startTime)
+ + " milli secs)");