if (isPaginationEnabled() && resultSetCount > 0)
{
- String f1 = totalNumberformatter.format(Integer.valueOf(offSet + 1));
+ String f1 = totalNumberformatter
+ .format(Integer.valueOf(offSet + 1));
String f2 = totalNumberformatter
.format(Integer.valueOf(offSet + resultSetCount));
String f3 = totalNumberformatter
String ids = selectedIds.toString();
seqFetcher.setQuery(ids);
- Thread worker = new Thread(seqFetcher);
+ Thread worker = new Thread(seqFetcher, "PDBFTSSeqFetcherThread");
worker.start();
delayAndEnableActionButtons();
}
{
e1.printStackTrace();
}
- }
-}
\ No newline at end of file
+ }
+}