790791792793794795796797798799800
} } }; if (myWorker == null || myWorker.isDisposed()) { myWorker = new WorkerThread("AbstractTreeBuilder.Worker", 1); myWorker.start(); if (first) { myWorker.addTaskFirst(runnable1); } else {