405406407408409410411412413414415
} } else { searchThreads = new SearchThread[0]; } dataProvider.start(); for (int i = 0; i < searchThreads.length; ++i) { searchThreads[i].start(); }