private void setChecked(List<String> tasks) { tasksChecked.setChecked(tasks); if (taskSelectionTreeViewer != null) { taskSelectionTreeViewer.refresh(); } updateOrderedTargets(); updateLaunchConfigurationDialog(); }