208209210211212213214215216217218
wiki, null, algorithms, 10000, allAlgorithms, null, true, false); } if (worker != null) { worker.setListener(this); worker.setTimeLimit(timeLimit); worker.start(); } } /** * @param worker