202203204205206207208209210211212
algorithms.add(algorithm); } allAlgorithms.add(algorithm); } } worker = new AutomaticCWWorker( wiki, null, algorithms, 10000, allAlgorithms, null, true, false); } if (worker != null) { worker.setListener(this); worker.setTimeLimit(timeLimit);