this.mainProgressMonitor_ = elkConfig.getProgressMonitor() == null ? new DummyProgressMonitor() : new ElkReasonerProgressMonitor( elkConfig.getProgressMonitor()); this.secondaryProgressMonitor_ = new DummyProgressMonitor();
this.mainProgressMonitor_ = elkConfig.getProgressMonitor() == null ? new DummyProgressMonitor() : new ElkReasonerProgressMonitor( elkConfig.getProgressMonitor()); this.secondaryProgressMonitor_ = new DummyProgressMonitor();
this.mainProgressMonitor_ = elkConfig.getProgressMonitor() == null ? new DummyProgressMonitor() : new ElkReasonerProgressMonitor( elkConfig.getProgressMonitor()); this.secondaryProgressMonitor_ = new DummyProgressMonitor();