@Override public void run(WorkspaceEntry we) { final CheckDeadlockTask task = new CheckDeadlockTask(we); String description = "MPSat tool chain"; String title = we.getTitle(); if (!title.isEmpty()) { description += "(" + title + ")"; } final Framework framework = Framework.getInstance(); final TaskManager taskManager = framework.getTaskManager(); final MpsatChainResultHandler monitor = new MpsatChainResultHandler(task); taskManager.queue(task, description, monitor); }